wball/Category-Theory
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Category-Theory/src/Category/Instances
History
William Ball 1be6e06756 initial commit
2024-10-13 19:28:44 -07:00
..
Cat.agda initial commit 2024-10-13 19:28:44 -07:00
Monoid.agda initial commit 2024-10-13 19:28:44 -07:00
One.agda initial commit 2024-10-13 19:28:44 -07:00
Preorder.agda initial commit 2024-10-13 19:28:44 -07:00
Rel-op-functor.agda initial commit 2024-10-13 19:28:44 -07:00
Rel-Type-Functor.agda initial commit 2024-10-13 19:28:44 -07:00
Rel.agda initial commit 2024-10-13 19:28:44 -07:00
Two.agda initial commit 2024-10-13 19:28:44 -07:00
TypeCategory.agda initial commit 2024-10-13 19:28:44 -07:00