log

age author description
2023-05-06 Shinji KONO ...
2023-05-05 Shinji KONO ...
2023-05-05 Shinji KONO ...
2023-05-05 Shinji KONO ...
2023-05-04 Shinji KONO ...
2023-05-04 Shinji KONO ...
2023-05-03 Shinji KONO ...
2023-05-01 Shinji KONO ...
2023-05-01 Shinji KONO merge
2023-05-01 Shinji KONO ...
2023-04-30 Shinji KONO ...
2023-04-30 Shinji KONO ...
2023-04-28 Shinji KONO ...
2023-04-26 Shinji KONO ...
2023-04-26 Shinji KONO ...
2023-04-26 Shinji KONO ...
2023-04-25 Shinji KONO ...
2023-04-25 Shinji KONO ...
2023-04-25 Shinji KONO ...
2023-04-24 Shinji KONO ...
2023-04-24 Shinji KONO ...
2023-04-24 Shinji KONO ...
2023-04-24 Shinji KONO ...
2023-04-24 Shinji KONO ...
2023-04-23 Shinji KONO ..
2023-04-23 Shinji KONO ...
2023-04-22 Shinji KONO it is no good to develop all invariant at once
2023-04-22 Shinji KONO ...
2023-04-22 Shinji KONO ...
2023-04-21 Shinji KONO ...
2023-04-21 Shinji KONO ...
2023-04-21 Shinji KONO ...
2023-04-13 Shinji KONO ...
2023-04-11 Shinji KONO ...
2023-04-11 Shinji KONO ...
2023-04-11 Shinji KONO ...
2023-04-11 Shinji KONO ...
2023-04-10 Shinji KONO ...
2023-04-10 Shinji KONO ...
2023-04-10 Shinji KONO ...
2023-04-10 Shinji KONO ...
2023-04-10 Shinji KONO ...
2023-04-10 Shinji KONO ...
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 ...
2021-12-07 Shinji KONO ...
2021-12-05 Shinji KONO ...