log

age author description
2015-01-18 Yasutaka Higa Add record definitions. functor, natural-transformation, monad.
2015-01-05 Yasutaka Higa Mini refactors
2015-01-04 Yasutaka Higa Define DeltaWithLog
2015-01-04 Yasutaka Higa Add example for DeltaM
2015-01-04 Yasutaka Higa Define DeltaM. Delta with Monad
2015-01-04 Yasutaka Higa Added tag InfiniteDelta for changeset fc5cd8c50312
2014-12-01 Yasutaka Higa Adjust proofs InfiniteDelta
2014-12-01 Yasutaka Higa Prove monad-law-4
2014-12-01 Yasutaka Higa Prove monad-law-2, 3
2014-12-01 Yasutaka Higa Split nat definition
2014-12-01 Yasutaka Higa Refactors
2014-12-01 Yasutaka Higa Prove n-tail-add
2014-11-30 Yasutaka Higa Prove monad-law-1
2014-11-30 Yasutaka Higa Proving monad-law-1
2014-11-30 Yasutaka Higa Trying prove infinite-delta. but I think this definition was missed.
2014-11-27 Yasutaka Higa Change prove method. use Int ...
2014-11-27 Yasutaka Higa Change prove method. use Int ...
2014-11-27 Yasutaka Higa Change headDelta definition. return non-delta value
2014-11-27 Yasutaka Higa Trying prove monad-law-1 by another pattern ....
2014-11-26 Yasutaka Higa Trying prove monad-law-1 by another pattern ...
2014-11-26 Yasutaka Higa Trying prove monad-law-1 by another pattern ...
2014-11-26 Yasutaka Higa Trying prove monad-law-1 by another pattern
2014-11-26 Yasutaka Higa Trying prove monad-law-1 ...
2014-11-25 Yasutaka Higa proving monad-law-1 ...
2014-11-25 Yasutaka Higa Trying prove infinite delta by equiv-reasoning
2014-11-24 Yasutaka Higa Add patterns generator
2014-11-22 Yasutaka Higa Expand pattern-matches...
2014-11-22 Yasutaka Higa Define bind and mu for Infinite Delta
2014-11-22 Yasutaka Higa Mini fixes
2014-11-22 Yasutaka Higa ReDefine Delta used non-empty-list for infinite changes
2014-11-19 Yasutaka Higa Trying redefine monad-laws-1
2014-11-19 Yasutaka Higa Redefine Delta for infinite changes in Agda
2014-11-19 Yasutaka Higa Trying redefine delta for infinite changes
2014-11-19 Yasutaka Higa Adjust function name
2014-11-19 Yasutaka Higa Define Delta for Infinite changes in Haskell
2014-11-19 Yasutaka Higa Fix typo
2014-11-19 Yasutaka Higa Added tag PairDelta for changeset 0c2d758406b1
2014-11-17 Yasutaka Higa Wrote bubble sort with modified calculate
2014-11-17 Yasutaka Higa Wrote >>= style bubble sort
2014-11-11 Yasutaka Higa Implement bubble sort by delta
2014-11-11 Yasutaka Higa Define bubble sort
2014-11-09 Yasutaka Higa Mini refactor PairDelta
2014-11-09 Yasutaka Higa Define pretty-print for Delta
2014-11-01 Yasutaka Higa Rename to Delta from Similar
2014-10-24 Yasutaka Higa Proof Monad-law-3 (haskell)
2014-10-19 Yasutaka Higa Proof monad-law-h-2, trying monad-law-h-3
2014-10-19 Yasutaka Higa Add Haskell style Monad-laws and Proof Monad-laws-h-1
2014-10-19 Yasutaka Higa Add Comments
2014-10-19 Yasutaka Higa Proof Functor-laws
2014-10-19 Yasutaka Higa Use level in basic/list
2014-10-18 Yasutaka Higa Proof Monad-law-4
2014-10-18 Yasutaka Higa Proof Monad-law-2-2
2014-10-18 Yasutaka Higa Proof Monad-law-2-1
2014-10-18 Yasutaka Higa Proof Monad-law 1
2014-10-18 Yasutaka Higa Expand monad-law 1
2014-10-18 Yasutaka Higa Proof list-associative
2014-10-07 Yasutaka Higa Expand monad-law-1
2014-10-07 Yasutaka Higa Apply level to some functions
2014-10-07 Yasutaka Higa Split basic functions to file
2014-10-07 Yasutaka Higa Define Monad-law 1-4