log agda/delta.agda @ 146:57601209eff3 default tip

age author description
2015-02-15 Yasutaka Higa Adjust codes
2015-02-03 Yasutaka Higa Cleanup proofs InfiniteDeltaWithMonad
2015-01-27 Yasutaka Higa Retrying prove monad-laws for delta
2015-01-26 Yasutaka Higa Trying redenition Delta with length constraints
2015-01-20 Yasutaka Higa Unify Levels in delta
2015-01-19 Yasutaka Higa Rewrite monad definitions for delta/deltaM
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
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-22 Yasutaka Higa Expand pattern-matches...
2014-11-22 Yasutaka Higa Define bind and mu for Infinite Delta
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-01 Yasutaka Higa Rename to Delta from Similar base agda/similar.agda@a3372697351a