| Sun, 09 May 2021 16:52:27 +0900 |
Shinji KONO |
fix topos char iso
|
| Sat, 08 May 2021 10:04:34 +0900 |
Shinji KONO |
char-cong
|
| Fri, 02 Apr 2021 02:48:12 +0900 |
Shinji KONO |
...
|
| Wed, 31 Mar 2021 15:58:02 +0900 |
Shinji KONO |
...
|
| Mon, 08 Mar 2021 08:25:30 +0900 |
Shinji KONO |
separate CCCSets
|
| Thu, 04 Mar 2021 18:51:10 +0900 |
Shinji KONO |
...
|
| Tue, 02 Mar 2021 17:56:31 +0900 |
Shinji KONO |
fix Topos equalizer iso
|
| Tue, 02 Mar 2021 09:48:12 +0900 |
Shinji KONO |
...
|
| Sat, 27 Feb 2021 22:57:42 +0900 |
Shinji KONO |
...
|
| Sat, 27 Feb 2021 12:15:28 +0900 |
Shinji KONO |
...
|
| Thu, 25 Feb 2021 18:50:06 +0900 |
Shinji KONO |
Polynominal category and functional completeness begin
|
| Mon, 21 Dec 2020 16:40:15 +0900 |
Shinji KONO |
reorganization for apkg
base
cat-utility.agda@a00b0314618e
|
