log

age author description
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
Loading...