| Thu, 08 Jun 2017 19:26:12 +0900 |
Shinji KONO |
fix for new agda
|
| Sun, 29 Sep 2013 14:01:07 +0900 |
Shinji KONO |
arrow and lambda fix
|
| Sat, 17 Aug 2013 21:09:34 +0900 |
Shinji KONO |
sync
|
| Thu, 08 Aug 2013 22:05:41 +0900 |
Shinji KONO |
remove Kleisli record
|
| Sat, 13 Jul 2013 18:12:57 +0900 |
Shinji KONO |
fix
|
| Fri, 12 Jul 2013 12:28:14 +0900 |
Shinji KONO |
clean up list-nat
|
| Fri, 12 Jul 2013 12:24:29 +0900 |
Shinji KONO |
nat
|
| Fri, 12 Jul 2013 11:39:06 +0900 |
Shinji KONO |
reasoning worked.
|
| Thu, 11 Jul 2013 19:37:35 +0900 |
Shinji KONO |
not working yet
|
| Tue, 09 Jul 2013 10:42:36 +0900 |
Shinji KONO |
sss
|
| Tue, 09 Jul 2013 10:36:20 +0900 |
Shinji KONO |
list nat
|
