Mercurial > hg > Papers > 2015 > atton-thesis
graph
-
Add examples of meta computation for program modificationThu, 12 Feb 2015 14:34:35 +0900, by Yasutaka Higa
-
Update description and delta definitionThu, 12 Feb 2015 12:39:57 +0900, by Yasutaka Higa
-
Add todo listThu, 12 Feb 2015 11:28:50 +0900, by Yasutaka Higa
-
Add agda-resoningWed, 11 Feb 2015 13:12:38 +0900, by Yasutaka Higa
-
Fix function nameWed, 11 Feb 2015 12:37:46 +0900, by Yasutaka Higa
-
Temporary saveTue, 10 Feb 2015 15:30:01 +0900, by Yasutaka Higa
-
Add description prove method in agdaTue, 10 Feb 2015 12:48:02 +0900, by Yasutaka Higa
-
Add curry-howad isomorphismTue, 10 Feb 2015 11:38:36 +0900, by Yasutaka Higa
-
Add description for natural deductionMon, 09 Feb 2015 22:13:18 +0900, by Yasutaka Higa
-
Add monad in HaskellMon, 09 Feb 2015 11:17:00 +0900, by Yasutaka Higa
-
Add natural transformation in programMon, 09 Feb 2015 09:47:09 +0900, by Yasutaka Higa
-
Fix figuresSun, 08 Feb 2015 22:34:58 +0900, by Yasutaka Higa
-
Fix listings and page numberingSun, 08 Feb 2015 22:23:56 +0900, by Yasutaka Higa
-
Add description for category/functor in programSun, 08 Feb 2015 21:19:55 +0900, by Yasutaka Higa