Mercurial > hg > Members > kono > Proof > category

diff README.txt @ 927:2c5ae3015a05

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
level hell
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 10 May 2020 16:36:42 +0900
parents 60942538dc41
children
line wrap: on
line diff
--- a/README.txt	Tue May 05 08:23:54 2020 +0900
+++ b/README.txt	Sun May 10 16:36:42 2020 +0900
@@ -61,6 +61,13 @@
     applicative.agda              -- Applicative functor is a monoidal functor
     monad→monoidal.agda
 
+-- Cartesian Closed Category
+
+    deductive.agda                -- deduction theorem
+    CCC.agda
+    CCChom.agda
+    CCCGraph.agda                 -- CCC generated from graph
+
 -- no yet finished
 
 -- repositories