/Operads-HoTT

An operad library in cubical agda

Primary LanguageAgda

This repository is not active