Groupoid Infinity cubical base library for Agda
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Infinity Merge branch 'master' of https://github.com/groupoid/agda Jan 20, 2019
priv wip: Dec 26, 2018
.gitignore gitignore Dec 25, 2018
.travis.yml fix travis Dec 25, 2018
Infinity.agda-lib pullback Dec 29, 2018
README.md Create README.md Dec 25, 2018

README.md

Build Status

Groupoid Infinity

The Groupoid Infinity cubical base library for Agda 2.6.0 (--cubical).

Credits

  • Maxim Sokhatsky
  • Andrea Vezzosi
  • Anders Mörtberg