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 |