/agda-editor

Text editor written in Agda

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.