log freyd2.agda @ 830:232cea484067

age author description
Sun, 15 Mar 2020 14:26:39 +0900 Shinji KONO graph to CCC again
Fri, 08 Mar 2019 17:46:59 +0900 Shinji KONO fix for 2.5.4.2
Mon, 13 Nov 2017 13:31:35 +0900 Shinji KONO fix
Mon, 13 Nov 2017 12:39:30 +0900 Shinji KONO fix
Sun, 12 Nov 2017 09:56:40 +0900 Shinji KONO change argument of Limit and K
Sun, 12 Nov 2017 01:29:47 +0900 Shinji KONO fix universal mapping done.
Sun, 12 Nov 2017 00:53:32 +0900 Shinji KONO fix again