Skip to content
An approach to higher algebra in type theory
Agda
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
wip
.gitignore
Biased.agda
Grafting.agda
HigherAlg.agda
PolyMagma.agda
PolyMonad.agda
Polynomial.agda
Slice.agda
Substitution.agda
UniCat.agda
Util.agda
WPaths.agda
You can’t perform that action at this time.