package coq-squiggle-eq
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
An abstract formalization of variable bindings (both named and de-bruijn),
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.3.tar.gz
md5=ce58ed27b586b483d359d81099c9908b
Description
based on ideas in the following paper:
Howe, Douglas J. “Equality in Lazy Computation Systems.” In LICS, 198–203, 1989.
Published: 09 Feb 2018
Dependencies (3)
- coq-ext-lib
-
coq
>= "8.7" & < "8.8~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page