/Weblab-Agda

Agda support for Weblab

Primary LanguageMakefile

No issues in this repository yet.