log nat.agda @ 956:bfc7007177d0 default tip

age author description
2024-08-04 Shinji KONO ...