Mercurial > hg > Members > Moririn
log
| age | author | description |
|---|---|---|
| Mon, 10 Apr 2023 15:06:29 +0900 | Shinji KONO | ... |
| Mon, 10 Apr 2023 10:43:00 +0900 | Shinji KONO | ... |
| Sun, 09 Apr 2023 17:15:42 +0900 | Shinji KONO | ... |
| Sun, 22 May 2022 19:07:20 +0900 | Shinji KONO | init 5 phils done without infinite loop |
| Mon, 16 May 2022 17:55:19 +0900 | Shinji KONO | Ok this is a termination bug og agda |
| Mon, 16 May 2022 10:48:49 +0900 | Shinji KONO | find infinite loop bug in Agda |
| Mon, 16 May 2022 09:27:13 +0900 | Shinji KONO | ... |
| Wed, 11 May 2022 09:56:11 +0900 | Shinji KONO | one step further on find |