| Sat, 22 Jun 2024 12:39:58 +0900 |
Shinji KONO |
PFOD done
|
| Sat, 22 Jun 2024 11:39:35 +0900 |
Shinji KONO |
bad pattern on fω→2-wld
|
| Sat, 22 Jun 2024 09:24:52 +0900 |
Shinji KONO |
ZProduct fix done
|
| Mon, 05 Jun 2023 11:33:27 +0900 |
Shinji KONO |
fix PFOD
|
| Sun, 04 Jun 2023 16:58:39 +0900 |
Shinji KONO |
remove next
|
| Sat, 03 Jun 2023 08:13:50 +0900 |
Shinji KONO |
...
|
| Thu, 01 Jun 2023 22:15:17 +0900 |
Shinji KONO |
...
|
| Sat, 20 May 2023 09:48:37 +0900 |
Shinji KONO |
remove import zf
|
| Mon, 06 Mar 2023 10:45:34 +0900 |
Shinji KONO |
brain damaged fix
|
| Sat, 18 Feb 2023 11:51:22 +0900 |
Shinji KONO |
Func and Funcs
|
| Mon, 09 Jan 2023 13:09:30 +0900 |
Shinji KONO |
...
|
| Mon, 26 Dec 2022 14:00:57 +0900 |
Shinji KONO |
PFOD
|
| Sun, 25 Dec 2022 10:12:56 +0900 |
Shinji KONO |
...
|
| Fri, 23 Dec 2022 12:54:05 +0900 |
Shinji KONO |
recovery
|
| Sat, 04 Sep 2021 01:43:27 +0900 |
Shinji KONO |
separate PFOD
base
src/generic-filter.agda@1ba1a2b43aed
|
