Mercurial > hg > Papers > 2015 > atton-thesis
graph
-
Update description of definition delta monad in haskell2015-02-12, by Yasutaka Higa
-
Add examples of meta computation for program modification2015-02-12, by Yasutaka Higa
-
Update description and delta definition2015-02-12, by Yasutaka Higa
-
Add todo list2015-02-12, by Yasutaka Higa
-
Add agda-resoning2015-02-11, by Yasutaka Higa
-
Fix function name2015-02-11, by Yasutaka Higa
-
Temporary save2015-02-10, by Yasutaka Higa
-
Add description prove method in agda2015-02-10, by Yasutaka Higa
-
Add curry-howad isomorphism2015-02-10, by Yasutaka Higa
-
Add description for natural deduction2015-02-09, by Yasutaka Higa
-
Add monad in Haskell2015-02-09, by Yasutaka Higa
-
Add natural transformation in program2015-02-09, by Yasutaka Higa
-
Fix figures2015-02-08, by Yasutaka Higa
-
Fix listings and page numbering2015-02-08, by Yasutaka Higa
-
Add description for category/functor in program2015-02-08, by Yasutaka Higa
-
Add description Monad2015-02-08, by Yasutaka Higa
-
Add description natural transformation2015-02-08, by Yasutaka Higa
-
Add Functor2015-02-08, by Yasutaka Higa
-
Add folding for section2015-02-08, by Yasutaka Higa
-
Add forgot figure files2015-02-08, by Yasutaka Higa
-
Add figures category2015-02-08, by Yasutaka Higa
-
Add Category definition2015-02-08, by Yasutaka Higa
-
Split chapter 32015-02-07, by Yasutaka Higa
-
Add example used delta2015-02-07, by Yasutaka Higa
-
Add Delta definition in Haskell2015-02-07, by Yasutaka Higa
-
Update Makefile2015-02-07, by Yasutaka Higa
-
Add description meta computation2015-02-07, by Yasutaka Higa
-
Delte template chapter2015-02-06, by Yasutaka Higa
-
Add introduction2015-02-06, by Yasutaka Higa
-
Add table of contents v12015-02-03, by Yasutaka Higa
-
Add template2015-02-03, by Yasutaka Higa
-
Add mind map2015-02-03, by Yasutaka Higa
-
Add .hgignore2015-02-03, by Yasutaka Higa