You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
9032676 44c36bda8e Split a NaturalIsomorphism type signature to multi-lines 11 months ago
src Split a NaturalIsomorphism type signature to multi-lines 11 months ago
.gitignore Update structure 1 year ago
README.md update README.md 1 year ago
category-research.agda-lib Update structure 1 year ago

README.md

Category theory research in Agda