@hackage hobbits1.2
A library for canonically representing terms with binding
Categories
License
BSD-3-Clause
Maintainer
westbrook@galois.com
Links
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (10)
- base >=4.7 && <4.9
- deepseq
- haskell-src-exts >=1.17.1 && <1.18
- haskell-src-meta
- mtl
- syb Show all…
Dependents (1)
@hackage/acme-everything
A library for canonically representing terms with binding via a constructor for introducing fresh names and a restricted API that avoids the need for alpha-equivalence.