Popular repositories
Repositories
Showing 10 of 14 repositories
-
-
-
-
- list Public archive
Generic functions on lists with effects. [merged into https://github.com/coq-io/io]
- exception Public archive
Abstract your errors into exceptions. [merged into https://github.com/coq-io/io]
- evaluate Public archive
Generic functions to evaluate effects. [merged into https://github.com/coq-io/io]