/agda-sdg

Basic SIA and SDG in Agda

Primary LanguageAgdaMIT LicenseMIT

Issues