| Tue, 20 Aug 2013 17:57:22 +0900 |
Shinji KONO |
fix
|
| Sat, 17 Aug 2013 21:08:33 +0900 |
Shinji KONO |
fix
|
| Thu, 15 Aug 2013 03:34:00 +0900 |
Shinji KONO |
assuing ∀{x : Carrier Mono } {f g : Carrier Mono -> Carrier Mono } -> (f x ≡ g x) -> ( f ≡ g )
|
| Wed, 14 Aug 2013 10:26:45 +0900 |
Shinji KONO |
on going...
|
| Tue, 13 Aug 2013 10:57:41 +0900 |
Shinji KONO |
on ogoing...
|
| Thu, 08 Aug 2013 22:05:41 +0900 |
Shinji KONO |
remove Kleisli record
|
| Fri, 26 Jul 2013 19:52:19 +0900 |
Shinji KONO |
Comparison Functor
|
| Thu, 25 Jul 2013 14:46:02 +0900 |
Shinji KONO |
generalized distr and assco1
|
| Thu, 25 Jul 2013 13:08:49 +0900 |
Shinji KONO |
cong-hom ?
|
| Thu, 25 Jul 2013 12:58:21 +0900 |
Shinji KONO |
distr
|
| Wed, 24 Jul 2013 20:47:28 +0900 |
Shinji KONO |
add unitility
base
CatReasoning.agda@16ef4dd20f81
|
