Mercurial > hg > Members > atton > delta_monad
graph
-
Define DeltaWithLog2015-01-04, by Yasutaka Higa
-
Add example for DeltaM2015-01-04, by Yasutaka Higa
-
Define DeltaM. Delta with Monad2015-01-04, by Yasutaka Higa
-
Added tag InfiniteDelta for changeset fc5cd8c503122015-01-04, by Yasutaka Higa
-
Prove monad-law-42014-12-01, by Yasutaka Higa
-
Prove monad-law-2, 32014-12-01, by Yasutaka Higa
-
Split nat definition2014-12-01, by Yasutaka Higa
-
Refactors2014-12-01, by Yasutaka Higa
-
Prove n-tail-add2014-12-01, by Yasutaka Higa
-
Prove monad-law-12014-11-30, by Yasutaka Higa
-
Proving monad-law-12014-11-30, by Yasutaka Higa
-
Trying prove infinite-delta. but I think this definition was missed.2014-11-30, by Yasutaka Higa
-
Change prove method. use Int ...2014-11-27, by Yasutaka Higa
-
Change prove method. use Int ...2014-11-27, by Yasutaka Higa
-
Change headDelta definition. return non-delta value2014-11-27, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern ....2014-11-27, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern ...2014-11-26, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern ...2014-11-26, by Yasutaka Higa
-
Trying prove monad-law-1 by another pattern2014-11-26, by Yasutaka Higa
-
Trying prove monad-law-1 ...2014-11-26, by Yasutaka Higa
-
proving monad-law-1 ...2014-11-25, by Yasutaka Higa
-
Trying prove infinite delta by equiv-reasoning2014-11-25, by Yasutaka Higa
-
Add patterns generator2014-11-24, by Yasutaka Higa
-
Expand pattern-matches...2014-11-22, by Yasutaka Higa
-
Define bind and mu for Infinite Delta2014-11-22, by Yasutaka Higa
-
Mini fixes2014-11-22, by Yasutaka Higa
-
ReDefine Delta used non-empty-list for infinite changes2014-11-22, by Yasutaka Higa
-
Trying redefine monad-laws-12014-11-19, by Yasutaka Higa
-
Redefine Delta for infinite changes in Agda2014-11-19, by Yasutaka Higa