A

agda-segal

Name Last Update
src/segal Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
README.agda Loading commit data...
README.md Loading commit data...
build-html.sh Loading commit data...
release.sh Loading commit data...
segal.agda Loading commit data...
segal.agda-lib Loading commit data...