Implementation of Category Theory in Agda as a part of excercise for me to understand Category Theory
gunpinyo / agda-cat Goto Github PK
View Code? Open in Web Editor NEWImplementation of Category Theory in Agda as a part of excercise for me to understand Category Theory
License: BSD 3-Clause "New" or "Revised" License