| 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
|
