log

age author description
2023-11-09 Shinji KONO safe halt.agda
2023-11-08 Shinji KONO ...
2023-09-24 Shinji KONO ...
2023-09-24 Shinji KONO ...
2023-09-24 Shinji KONO fix for std-lib 2.0
2023-08-10 Shinji KONO ...
Loading...