Mercurial > hg > Members > atton > agda-proofs
graph
-
fmap for nested functor without implicit level2015-01-18, by Yasutaka Higa
-
Example for implicit-level functor2015-01-18, by Yasutaka Higa
-
Example for natural transformation2015-01-17, by Yasutaka Higa
-
Add functor example2015-01-15, by Yasutaka Higa
-
Add sample for type class in Agda2015-01-15, by Yasutaka Higa
-
Start proof to State Monad2014-11-02, by Yasutaka Higa
-
Migrate moggi from atton/agda/moggi (0:530373ccbcee)2014-11-02, by Yasutaka Higa
-
Migrate systemF from atton/agda/systemF (32:fe231950824a)2014-11-02, by Yasutaka Higa
-
Migrate systemT from atton/agda/systemT (13:5a81867278af)2014-11-02, by Yasutaka Higa
-
Initial commit2014-11-02, by Yasutaka Higa