artagnon / bonak

🧊 An indexed construction of semi-simplicial and semi-cubical types

https://artagnon.github.io/bonak

Geek Repo

Github PK Tool