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