Mercurial > hg > Members > kono > Proof > category
graph
-
termination on fmap failedFri, 26 Apr 2019 18:24:07 +0900, by Shinji KONO
-
...Fri, 26 Apr 2019 16:54:18 +0900, by Shinji KONO
-
...Thu, 25 Apr 2019 17:56:30 +0900, by Shinji KONO
-
fixThu, 25 Apr 2019 12:22:03 +0900, by Shinji KONO
-
simpler graph to categoryThu, 25 Apr 2019 10:37:27 +0900, by Shinji KONO
-
graph with positive logic to SetsThu, 25 Apr 2019 03:50:30 +0900, by Shinji KONO
-
using setoidWed, 24 Apr 2019 11:09:41 +0900, by Shinji KONO
-
graph to ccc dead endTue, 23 Apr 2019 16:34:38 +0900, by Shinji KONO