Mercurial > hg > Papers > 2015 > atton-thesis
log
age | author | description |
---|---|---|
2015-02-12 | Yasutaka Higa | Update todo list |
2015-02-12 | Yasutaka Higa | Adjust monad class definition |
2015-02-12 | Yasutaka Higa | Split chapter to description monad. category/functional programming |
2015-02-12 | Yasutaka Higa | Update description of definition delta monad in haskell |
2015-02-12 | Yasutaka Higa | Add examples of meta computation for program modification |
2015-02-12 | Yasutaka Higa | Update description and delta definition |
2015-02-12 | Yasutaka Higa | Add todo list |
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 |
2015-02-09 | Yasutaka Higa | Add monad in Haskell |
2015-02-09 | Yasutaka Higa | Add natural transformation in program |
2015-02-08 | Yasutaka Higa | Fix figures |
2015-02-08 | Yasutaka Higa | Fix listings and page numbering |
2015-02-08 | Yasutaka Higa | Add description for category/functor in program |
2015-02-08 | Yasutaka Higa | Add description Monad |
2015-02-08 | Yasutaka Higa | Add description natural transformation |
2015-02-08 | Yasutaka Higa | Add Functor |
2015-02-08 | Yasutaka Higa | Add folding for section |
2015-02-08 | Yasutaka Higa | Add forgot figure files |
2015-02-08 | Yasutaka Higa | Add figures category |
2015-02-08 | Yasutaka Higa | Add Category definition |
2015-02-07 | Yasutaka Higa | Split chapter 3 |
2015-02-07 | Yasutaka Higa | Add example used delta |
2015-02-07 | Yasutaka Higa | Add Delta definition in Haskell |
2015-02-07 | Yasutaka Higa | Update Makefile |
2015-02-07 | Yasutaka Higa | Add description meta computation |
2015-02-06 | Yasutaka Higa | Delte template chapter |
2015-02-06 | Yasutaka Higa | Add introduction |
2015-02-03 | Yasutaka Higa | Add table of contents v1 |
2015-02-03 | Yasutaka Higa | Add template |
2015-02-03 | Yasutaka Higa | Add mind map |
2015-02-03 | Yasutaka Higa | Add .hgignore |