Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.