/opetopic-types

Higher Algebra with Opetopic Types

Primary LanguageAgda

Watchers