log agda.tex @ 57:5f0e13923cfd

age author description
2015-02-16 Yasutaka Higa Fixes
2015-02-16 Yasutaka Higa Add thebibliography
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 delta definition in agda
2015-02-13 Yasutaka Higa Add description functor record
2015-02-12 Yasutaka Higa Add escape script
2015-02-11 Yasutaka Higa Add agda-resoning
2015-02-11 Yasutaka Higa Fix function name
2015-02-10 Yasutaka Higa Temporary save
2015-02-10 Yasutaka Higa Add description prove method in agda
2015-02-10 Yasutaka Higa Add curry-howad isomorphism
2015-02-09 Yasutaka Higa Add description for natural deduction