Category theory & type theory in Agda. This repo is intended for my (@ahubers) personal use in learning category theory and category theoretic semantics; for a full-fledged and reputable category theory library, please use Agda Categories or 1lab.
-
Notifications
You must be signed in to change notification settings - Fork 0
IowaFP/CategoriesInAgda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Category theory & semantics in Agda
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published