Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]
Primary LanguageCoqMIT LicenseMIT