/agda-holes

Agda programming with holes

Primary LanguageAgdaMIT LicenseMIT

Stargazers