| Fri, 05 Apr 2024 13:38:20 +0900 |
Shinji KONO |
add mul
default tip
|
| Sun, 24 Sep 2023 18:02:04 +0900 |
Shinji KONO |
...
|
| Sun, 24 Sep 2023 11:32:01 +0900 |
Shinji KONO |
fix for std-lib 2.0
|
| Thu, 03 Aug 2023 18:13:59 +0900 |
Shinji KONO |
...
|
| Thu, 03 Aug 2023 17:32:50 +0900 |
Shinji KONO |
... look bad
|
| Thu, 03 Aug 2023 14:55:14 +0900 |
Shinji KONO |
...
|
| Mon, 31 Jul 2023 10:02:46 +0900 |
Shinji KONO |
...
|
| Sun, 30 Jul 2023 20:16:08 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 09:03:13 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 08:21:21 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 07:17:09 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 06:49:54 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 03:36:06 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 02:09:27 +0900 |
Shinji KONO |
...
|
| Thu, 27 Jul 2023 00:50:16 +0900 |
Shinji KONO |
bb22 takes 10GB and 5 min
|
| Wed, 26 Jul 2023 21:20:16 +0900 |
Shinji KONO |
...
|
| Sun, 12 Mar 2023 22:49:59 +0900 |
Shinji KONO |
fix
|
| Fri, 14 Jan 2022 14:39:36 +0900 |
Shinji KONO |
...
|
| Mon, 03 Jan 2022 18:50:01 +0900 |
Shinji KONO |
...
|
| Mon, 03 Jan 2022 11:41:58 +0900 |
Shinji KONO |
...
|
| Mon, 03 Jan 2022 00:55:06 +0900 |
Shinji KONO |
clean up
|
| Mon, 03 Jan 2022 00:30:01 +0900 |
Shinji KONO |
tra-phase1 done
|
| Mon, 03 Jan 2022 00:22:46 +0900 |
Shinji KONO |
...
|
| Sun, 02 Jan 2022 23:18:15 +0900 |
Shinji KONO |
...
|
| Sun, 02 Jan 2022 19:28:01 +0900 |
Shinji KONO |
...
|
| Sun, 02 Jan 2022 18:51:36 +0900 |
Shinji KONO |
...
|
| Sun, 02 Jan 2022 15:27:17 +0900 |
Shinji KONO |
...
|
| Sun, 02 Jan 2022 06:52:35 +0900 |
Shinji KONO |
tra-04
|
| Sun, 02 Jan 2022 06:04:32 +0900 |
Shinji KONO |
...
|
| Sat, 01 Jan 2022 22:08:42 +0900 |
Shinji KONO |
...
|
| Sat, 01 Jan 2022 18:52:42 +0900 |
Shinji KONO |
...
|
| Sat, 01 Jan 2022 12:27:39 +0900 |
Shinji KONO |
...
|
| Sat, 01 Jan 2022 11:00:41 +0900 |
Shinji KONO |
...
|
| Sat, 01 Jan 2022 10:36:52 +0900 |
Shinji KONO |
...
|
| Fri, 31 Dec 2021 23:06:08 +0900 |
Shinji KONO |
...
|
| Fri, 31 Dec 2021 20:02:54 +0900 |
Shinji KONO |
...
|
| Fri, 31 Dec 2021 17:27:58 +0900 |
Shinji KONO |
...
|
| Fri, 31 Dec 2021 17:02:31 +0900 |
Shinji KONO |
...
|
| Fri, 31 Dec 2021 15:42:27 +0900 |
Shinji KONO |
...
|
| Fri, 31 Dec 2021 14:36:44 +0900 |
Shinji KONO |
...
|
| Thu, 30 Dec 2021 17:42:44 +0900 |
Shinji KONO |
...
|
| Wed, 29 Dec 2021 19:08:28 +0900 |
Shinji KONO |
...
|
| Wed, 29 Dec 2021 03:50:04 +0900 |
Shinji KONO |
...
|
| Mon, 27 Dec 2021 09:51:21 +0900 |
Shinji KONO |
...
|
| Sun, 26 Dec 2021 18:36:48 +0900 |
Shinji KONO |
...
|
| Sun, 26 Dec 2021 12:38:37 +0900 |
Shinji KONO |
dup in finiteSet in long list
|
| Sat, 25 Dec 2021 19:16:59 +0900 |
Shinji KONO |
non-regular
|
| Sat, 18 Dec 2021 16:27:46 +0900 |
Shinji KONO |
fixes
|
| Sun, 13 Jun 2021 20:45:17 +0900 |
Shinji KONO |
fix
base
automaton-in-agda/src/agda/non-regular.agda@9e32bd306c6b
|
