GitHub repository: GenericMonkey/multi-poly-cats
Primary language: Agda
Description: Multicategories (someday Polycategories?) in Cubical Agda