log

age author description
Thu, 12 Feb 2015 14:43:25 +0900 Yasutaka Higa Update description of definition delta monad in haskell
Thu, 12 Feb 2015 14:34:35 +0900 Yasutaka Higa Add examples of meta computation for program modification
Thu, 12 Feb 2015 12:39:57 +0900 Yasutaka Higa Update description and delta definition
Thu, 12 Feb 2015 11:28:50 +0900 Yasutaka Higa Add todo list
Wed, 11 Feb 2015 13:12:38 +0900 Yasutaka Higa Add agda-resoning
Wed, 11 Feb 2015 12:37:46 +0900 Yasutaka Higa Fix function name
Tue, 10 Feb 2015 15:30:01 +0900 Yasutaka Higa Temporary save
Tue, 10 Feb 2015 12:48:02 +0900 Yasutaka Higa Add description prove method in agda
Tue, 10 Feb 2015 11:38:36 +0900 Yasutaka Higa Add curry-howad isomorphism
Mon, 09 Feb 2015 22:13:18 +0900 Yasutaka Higa Add description for natural deduction
Mon, 09 Feb 2015 11:17:00 +0900 Yasutaka Higa Add monad in Haskell
Mon, 09 Feb 2015 09:47:09 +0900 Yasutaka Higa Add natural transformation in program
Sun, 08 Feb 2015 22:34:58 +0900 Yasutaka Higa Fix figures
Sun, 08 Feb 2015 22:23:56 +0900 Yasutaka Higa Fix listings and page numbering
Sun, 08 Feb 2015 21:19:55 +0900 Yasutaka Higa Add description for category/functor in program
Sun, 08 Feb 2015 19:57:44 +0900 Yasutaka Higa Add description Monad
Sun, 08 Feb 2015 15:43:20 +0900 Yasutaka Higa Add description natural transformation
Sun, 08 Feb 2015 13:29:32 +0900 Yasutaka Higa Add Functor
Sun, 08 Feb 2015 12:22:56 +0900 Yasutaka Higa Add folding for section
Sun, 08 Feb 2015 12:20:17 +0900 Yasutaka Higa Add forgot figure files
Sun, 08 Feb 2015 12:19:30 +0900 Yasutaka Higa Add figures category
Sun, 08 Feb 2015 11:53:19 +0900 Yasutaka Higa Add Category definition
Sat, 07 Feb 2015 19:41:05 +0900 Yasutaka Higa Split chapter 3
Sat, 07 Feb 2015 19:30:09 +0900 Yasutaka Higa Add example used delta
Sat, 07 Feb 2015 12:13:59 +0900 Yasutaka Higa Add Delta definition in Haskell
Sat, 07 Feb 2015 11:41:37 +0900 Yasutaka Higa Update Makefile
Sat, 07 Feb 2015 11:18:37 +0900 Yasutaka Higa Add description meta computation
Fri, 06 Feb 2015 15:41:54 +0900 Yasutaka Higa Delte template chapter
Fri, 06 Feb 2015 15:41:43 +0900 Yasutaka Higa Add introduction
Tue, 03 Feb 2015 17:55:53 +0900 Yasutaka Higa Add table of contents v1
Tue, 03 Feb 2015 17:24:05 +0900 Yasutaka Higa Add template
Tue, 03 Feb 2015 17:23:44 +0900 Yasutaka Higa Add mind map
Tue, 03 Feb 2015 16:47:18 +0900 Yasutaka Higa Add .hgignore