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