log

age author description
2015-01-19 Yasutaka Higa Prove functor-laws for deltaM
2015-01-19 Yasutaka Higa Prove preserve-id for deltaM
2015-01-19 Yasutaka Higa Prove deltaM-preserve-id by mono
2015-01-19 Yasutaka Higa Unify levels on data type. only use suc to proofs
2015-01-19 Yasutaka Higa Defining DeltaM in Agda...
2015-01-19 Yasutaka Higa Split monad-proofs into delta.monad
2015-01-19 Yasutaka Higa Split functor-proofs into delta.functor
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 ...