log subcat.agda @ 912:635418b4b2f3

age author description
Sat, 02 May 2020 04:21:05 +0900 Shinji KONO add subcat