|
Failed to load latest commit information. |
|
wip
|
Merge branch 'master' of https://github.com/ericfinster/higher-alg
|
Apr 12, 2019
|
|
|
.gitignore
|
First commit
|
Jun 17, 2018
|
|
|
Biased.agda
|
Significant reorganization
|
Apr 9, 2019
|
|
|
Grafting.agda
|
Significant reorganization
|
Apr 9, 2019
|
|
|
HigherAlg.agda
|
top-level file
|
Jan 28, 2019
|
|
|
PolyMagma.agda
|
Significant reorganization
|
Apr 9, 2019
|
|
|
PolyMonad.agda
|
implicit versions of node and leaf equivs
|
Feb 19, 2019
|
|
|
Polynomial.agda
|
Significant reorganization
|
Apr 9, 2019
|
|
|
Slice.agda
|
more work
|
Apr 12, 2019
|
|
|
Substitution.agda
|
more work
|
Apr 12, 2019
|
|
|
UniCat.agda
|
Proof that Delta is univalent
|
Mar 5, 2019
|
|
|
Util.agda
|
Merge pull request #2 from AntoineAllioux/univalent-delta
|
Apr 1, 2019
|
|
|
WPaths.agda
|
cleanup
|
Nov 22, 2018
|