Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
2023-04-09 | Shinji KONO | ... |
2022-05-22 | Shinji KONO | init 5 phils done without infinite loop |
2022-05-16 | Shinji KONO | Ok this is a termination bug og agda |
2022-05-16 | Shinji KONO | find infinite loop bug in Agda |
2022-05-16 | Shinji KONO | ... |
2022-05-11 | Shinji KONO | one step further on find |
2022-05-10 | Shinji KONO | fix context |
2022-05-07 | Shinji KONO | insertTree have some bug |
2022-05-06 | Shinji KONO | ... |
2022-05-05 | Shinji KONO | ... |
2022-05-05 | Shinji KONO | ... |
2022-05-05 | Shinji KONO | ... |
2022-05-05 | Shinji KONO | ... |
2022-05-03 | Shinji KONO | ... |
2022-04-19 | Shinji KONO | ... |