A type theory for opetopes
Primary LanguageOCaml
An experimental type theory with opetopic identity types.