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