log S.agda @ 631:7be3eb96310c

age author description
Mon, 12 Jun 2017 10:50:02 +0900 Shinji KONO freyd2