A formalisation of generalised containers in Cubical Agda
Primary LanguageAgda
No issues in this repository yet.