/agda-clones

Formalizing the clone theory in type theory and Agda

Primary LanguageHTMLMIT LicenseMIT

Watchers