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