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