| Mon, 13 Nov 2017 12:39:30 +0900 |
Shinji KONO |
fix
|
| Thu, 08 Jun 2017 19:26:12 +0900 |
Shinji KONO |
fix for new agda
|
| Thu, 09 Mar 2017 14:16:03 +0900 |
Shinji KONO |
Comma Category with A B C
|
| Fri, 03 Mar 2017 12:12:06 +0900 |
Shinji KONO |
limit-to done
|
| Thu, 02 Mar 2017 14:58:40 +0900 |
Shinji KONO |
on going ...
|
| Thu, 24 Mar 2016 11:31:14 +0900 |
Shinji KONO |
refl in free-monoid trouble
|
| Sun, 29 Sep 2013 13:36:42 +0900 |
Shinji KONO |
remove module parameter from yoneda functor
|
| Wed, 11 Sep 2013 20:26:48 +0900 |
Shinji KONO |
fix
|
| 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
|
