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 ...