Agda category theory library for denotational design
Stars
58
Forks
7
Watchers
Open Issues
6
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
70
commits
18
12
Merge pull request #23 from bsaul/update-nixpkgs
939c59b
fix ws
211fc17
fixes after update to agda 2.8
2b4f7d3
update nixpkgs -- updates agda to 2.8
5ecb24b
Merge pull request #22 from bsaul/fix-pred
f656f46
add Pred to all
a30bc97
fixes Pred instance
e7cf383
Merge branch 'main' of github.com:conal/felix
eff7e5b
Cartesian functors and subcategories
797d3b2
Merge pull request #19 from bsaul/cocartesian-law
44f0e57
fix build failure
cf49627
add cocartesian laws + proves for type and setoid instances
8eb6d98
WIP
e5f2ff1
Merge pull request #16 from bsaul/setoids
d9afb72
add synonym for objects/morphisms
aa2ad79