package coq-lens
Generation of lenses for record datatypes
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.1.tar.gz
sha256=c1092aa89e885dd4abe1abc0605474440e8a763569be0accbbf6af4b129b3a91
Description
Dependencies (3)
-
coq-metacoq-template
= "1.0~beta1+8.12" -
coq
>= "8.12" & < "8.13~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page