| Thu, 03 Sep 2020 09:11:05 +0900 |
Shinji KONO |
...
|
| Wed, 02 Sep 2020 19:20:20 +0900 |
Shinji KONO |
...
|
| Wed, 02 Sep 2020 18:55:15 +0900 |
Shinji KONO |
sym5 done but agda won'y stop
|
| Wed, 02 Sep 2020 11:29:04 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 21:58:15 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 20:41:38 +0900 |
Shinji KONO |
FL iso done
|
| Tue, 01 Sep 2020 20:00:24 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 19:03:21 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 18:56:10 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 18:26:21 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 17:45:33 +0900 |
Shinji KONO |
...
|
| Tue, 01 Sep 2020 17:21:31 +0900 |
Shinji KONO |
... bad approach
|
| Tue, 01 Sep 2020 16:54:56 +0900 |
Shinji KONO |
FL→iso done
|
| Tue, 01 Sep 2020 12:11:11 +0900 |
Shinji KONO |
...
|
