/agda_tasks

Some tasks done in Agda

Primary LanguageAgdaMIT LicenseMIT

Watchers