Mercurial > hg > Members > kono > Proof > category

comparison 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
comparison
equal deleted inserted replaced
926:a7332c329b57 927:2c5ae3015a05
59 59
60 monoidal.agda -- Monoidal category and Functor 60 monoidal.agda -- Monoidal category and Functor
61 applicative.agda -- Applicative functor is a monoidal functor 61 applicative.agda -- Applicative functor is a monoidal functor
62 monad→monoidal.agda 62 monad→monoidal.agda
63 63
64 -- Cartesian Closed Category
65
66 deductive.agda -- deduction theorem
67 CCC.agda
68 CCChom.agda
69 CCCGraph.agda -- CCC generated from graph
70
64 -- no yet finished 71 -- no yet finished
65 72
66 -- repositories 73 -- repositories
67 74
68 https://bitbucket.org/shinji_kono/category-exercise-in-agda/src 75 https://bitbucket.org/shinji_kono/category-exercise-in-agda/src