Mercurial > hg > Papers > 2015 > atton-thesis
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 |