package coq-iterable
Generic definition of iterators
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
md5=5640755857854bfaa98560ad6ff0f6ca
Description
Published: 25 Nov 2015
Dependencies (3)
- coq-function-ninjas
-
coq
>= "8.4pl4" - ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page