package coq-io-exception
Abstract your errors into exceptions
Install
Dune Dependency
Authors
Maintainers
Sources
1.1.0.tar.gz
md5=8f14831799e7b5f20e1e43639501baaf
Description
Dependencies (6)
- coq-io-evaluate
- coq-io-list
-
coq-io
>= "3.1.0" - coq-function-ninjas
-
coq
>= "8.4pl4" & < "8.5~" - ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page