@hackage hobbits1.1.1
A library for canonically representing terms with binding
Categories
License
BSD-3-Clause
Maintainer
emw4@rice.edu
Links
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (11)
- base >=4 && <5
- deepseq
- haskell-src-exts
- haskell-src-meta >=0.5.1.1
- 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.