diff src/functor_laws_in_haskell.txt @ 18:086fc8bb6ea9

Add description for category/functor in program
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 08 Feb 2015 21:19:55 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/functor_laws_in_haskell.txt	Sun Feb 08 21:19:55 2015 +0900
@@ -0,0 +1,2 @@
+fmap id      = id
+fmap (p . q) = (fmap p) . (fmap q)