Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]
Primary LanguageCoqMIT LicenseMIT