Mercurial > hg > Members > atton > agda-proofs
log sandbox/FunctorExample.agda @ 21:afb2304be45b
age | author | description |
---|---|---|
Tue, 20 Jan 2015 13:35:12 +0900 | Yasutaka Higa | Add example for Natural Transformation (head) |
Tue, 20 Jan 2015 10:51:33 +0900 | Yasutaka Higa | Improve NaturalTransformation definition |
Sun, 18 Jan 2015 20:44:49 +0900 | Yasutaka Higa | fmap for nested functor without implicit level |
Sun, 18 Jan 2015 20:06:33 +0900 | Yasutaka Higa | Example for implicit-level functor |
Sat, 17 Jan 2015 22:13:47 +0900 | Yasutaka Higa | Example for natural transformation |
Thu, 15 Jan 2015 17:27:25 +0900 | Yasutaka Higa | Add functor example |