/opetopes-idris

Opetopes in idris

Primary LanguageIdris

No issues in this repository yet.