| Sun, 24 Sep 2023 11:32:01 +0900 |
Shinji KONO |
fix for std-lib 2.0
|
| Sat, 22 Jul 2023 10:04:39 +0900 |
Shinji KONO |
...
|
| Tue, 18 Jul 2023 18:54:46 +0900 |
Shinji KONO |
fix fin<n
|
| Sat, 15 Jul 2023 18:44:51 +0900 |
Shinji KONO |
...
|
| Sat, 15 Jul 2023 18:44:23 +0900 |
Shinji KONO |
n<m→fDUP is bad idea. Bernstein style on constructive proof requires complex calculation
|
| Sat, 15 Jul 2023 10:36:40 +0900 |
Shinji KONO |
...
|
| Tue, 11 Jul 2023 11:04:00 +0900 |
Shinji KONO |
...
|
| Sun, 09 Jul 2023 15:37:18 +0900 |
Shinji KONO |
...
|
| Fri, 14 Jan 2022 14:39:36 +0900 |
Shinji KONO |
...
|
| Mon, 03 Jan 2022 18:50:01 +0900 |
Shinji KONO |
...
|
| Wed, 29 Dec 2021 19:08:28 +0900 |
Shinji KONO |
...
|
| Wed, 29 Dec 2021 11:50:34 +0900 |
Shinji KONO |
fin side done
|
| Wed, 29 Dec 2021 11:20:49 +0900 |
Shinji KONO |
fless
|
| Wed, 29 Dec 2021 03:50:04 +0900 |
Shinji KONO |
...
|
| Tue, 28 Dec 2021 15:56:48 +0900 |
Shinji KONO |
...
|
| Tue, 28 Dec 2021 15:25:22 +0900 |
Shinji KONO |
...
|
| Tue, 28 Dec 2021 12:38:16 +0900 |
Shinji KONO |
...
|
| Tue, 28 Dec 2021 03:17:29 +0900 |
Shinji KONO |
fix decrement case
|
| Tue, 28 Dec 2021 02:43:07 +0900 |
Shinji KONO |
...
|
| Tue, 28 Dec 2021 00:28:29 +0900 |
Shinji KONO |
remove ls<n
|
| Mon, 27 Dec 2021 21:45:00 +0900 |
Shinji KONO |
...
|
| Mon, 27 Dec 2021 19:48:00 +0900 |
Shinji KONO |
...
|
| Thu, 25 Nov 2021 12:19:36 +0900 |
Shinji KONO |
fix concat dfa
|
| Sun, 13 Jun 2021 20:45:17 +0900 |
Shinji KONO |
fix
base
automaton-in-agda/src/agda/fin.agda@11f991578a5b
|
