log

age author description
2024-06-18 Shinji KONO ... default tip
2024-04-05 Shinji KONO add mul
2023-11-29 Shinji KONO ...
2023-11-22 Shinji KONO StarProp and Ntrace
2023-11-16 Shinji KONO ...
2023-11-15 Shinji KONO ...
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 ...
2023-08-10 Shinji KONO ...
2023-08-06 Shinji KONO ...
2023-08-05 Shinji KONO ...
2023-08-05 Shinji KONO ...
2023-08-03 Shinji KONO ...
2023-08-03 Shinji KONO ... look bad
2023-08-03 Shinji KONO ...
2023-07-31 Shinji KONO ...
2023-07-30 Shinji KONO ...
2023-07-27 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO bb22 takes 10GB and 5 min
2023-07-26 Shinji KONO ...
2023-07-26 Shinji KONO ...