log

age author description
2015-02-17 Yasutaka Higa Add generated prepaper PDF prepaper_v1
2015-02-17 Yasutaka Higa Add agda wiki into bibliography
2015-02-17 Yasutaka Higa Adjust prepaper
2015-02-17 Yasutaka Higa Writing prepaper...
2015-02-17 Yasutaka Higa Add abstract in English to prepaper
2015-02-16 Yasutaka Higa Add template of prepaper
2015-02-16 Yasutaka Higa Move papers into directory
2015-02-16 Yasutaka Higa Added tag paper_v1 for changeset c208d759b038
2015-02-16 Yasutaka Higa Add generated pdf paper_v1
2015-02-16 Yasutaka Higa Fixes
2015-02-16 Yasutaka Higa Fix layouts
2015-02-16 Yasutaka Higa Add proof DeltaM
2015-02-16 Yasutaka Higa Add thebibliography
2015-02-15 Yasutaka Higa Add original sources
2015-02-15 Yasutaka Higa Add thanks
2015-02-15 Yasutaka Higa Add Future work
2015-02-15 Yasutaka Higa Add DeltaM example
2015-02-15 Yasutaka Higa Add description for DeltaM definition
2015-02-15 Yasutaka Higa Wrote description monad-laws on delta
2015-02-15 Yasutaka Higa Fix appendix
2015-02-15 Yasutaka Higa Move proofs to appendix
2015-02-15 Yasutaka Higa Writing description proofs of monad-laws for delta
2015-02-13 Yasutaka Higa Fix source
2015-02-13 Yasutaka Higa Add defintion monad-laws in agda
2015-02-13 Yasutaka Higa Add proofs of functor-laws on delta
2015-02-13 Yasutaka Higa Add delta definition in agda
2015-02-13 Yasutaka Higa Add description functor record
2015-02-12 Yasutaka Higa Add record of functor in agda
2015-02-12 Yasutaka Higa Remove jlisting
2015-02-12 Yasutaka Higa Add command for escape agda source