| Sun, 15 Feb 2015 12:16:55 +0900 |
Yasutaka Higa |
Fix appendix
|
| Sun, 15 Feb 2015 11:17:59 +0900 |
Yasutaka Higa |
Move proofs to appendix
|
| Sun, 15 Feb 2015 10:33:47 +0900 |
Yasutaka Higa |
Writing description proofs of monad-laws for delta
|
| Fri, 13 Feb 2015 18:10:07 +0900 |
Yasutaka Higa |
Fix source
|
| Fri, 13 Feb 2015 17:51:57 +0900 |
Yasutaka Higa |
Add defintion monad-laws in agda
|
| Fri, 13 Feb 2015 17:13:23 +0900 |
Yasutaka Higa |
Add proofs of functor-laws on delta
|
| Fri, 13 Feb 2015 11:48:40 +0900 |
Yasutaka Higa |
Add delta definition in agda
|
| Fri, 13 Feb 2015 11:31:46 +0900 |
Yasutaka Higa |
Add description functor record
|
| Thu, 12 Feb 2015 18:08:01 +0900 |
Yasutaka Higa |
Add record of functor in agda
|
| Thu, 12 Feb 2015 17:49:35 +0900 |
Yasutaka Higa |
Remove jlisting
|
| Thu, 12 Feb 2015 17:46:01 +0900 |
Yasutaka Higa |
Add command for escape agda source
|
| Thu, 12 Feb 2015 17:44:18 +0900 |
Yasutaka Higa |
Add escape script
|
| Thu, 12 Feb 2015 15:22:21 +0900 |
Yasutaka Higa |
Update todo list
|
| Thu, 12 Feb 2015 15:08:48 +0900 |
Yasutaka Higa |
Adjust monad class definition
|
| Thu, 12 Feb 2015 14:51:39 +0900 |
Yasutaka Higa |
Split chapter to description monad. category/functional programming
|
| 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
|
