Mercurial > hg > Members > atton > similar_monad
graph
-
Proof monad-law-h-2, trying monad-law-h-32014-10-19, by Yasutaka Higa
-
Add Haskell style Monad-laws and Proof Monad-laws-h-12014-10-19, by Yasutaka Higa
-
Add Comments2014-10-19, by Yasutaka Higa
-
Proof Functor-laws2014-10-19, by Yasutaka Higa
-
Use level in basic/list2014-10-19, by Yasutaka Higa
-
Proof Monad-law-42014-10-18, by Yasutaka Higa
-
Proof Monad-law-2-22014-10-18, by Yasutaka Higa
-
Proof Monad-law-2-12014-10-18, by Yasutaka Higa
-
Proof Monad-law 12014-10-18, by Yasutaka Higa
-
Expand monad-law 12014-10-18, by Yasutaka Higa
-
Proof list-associative2014-10-18, by Yasutaka Higa
-
Expand monad-law-12014-10-07, by Yasutaka Higa
-
Apply level to some functions2014-10-07, by Yasutaka Higa
-
Split basic functions to file2014-10-07, by Yasutaka Higa
-
Define Monad-law 1-42014-10-07, by Yasutaka Higa
-
Define Similar in Agda2014-10-07, by Yasutaka Higa
-
Define List in Agda2014-10-07, by Yasutaka Higa
-
Update hgignore2014-10-07, by Yasutaka Higa
-
Define similar constructor for different element2014-09-30, by Yasutaka Higa
-
Imporve Similar definition. delete "Single" constructor2014-09-26, by Yasutaka Higa
-
Define Similar sample2014-09-23, by Yasutaka Higa
-
Define Similar as Applicative2014-09-23, by Yasutaka Higa
-
Define Similar as Monad by mu2014-09-22, by Yasutaka Higa
-
Try define Similar as Monad2014-09-22, by Yasutaka Higa
-
Define Similar as Applicative2014-09-09, by Yasutaka Higa
-
Improve mu definition2014-09-09, by Yasutaka Higa
-
Similar as Monad2014-09-06, by Yasutaka Higa
-
Define fmap and mu2014-09-06, by Yasutaka Higa
-
Redefine Similar. reject function in data2014-09-06, by Yasutaka Higa
-
Rename Similer -> Similar2014-09-02, by Yasutaka Higa