@hackage hobbits1.2.4

A library for canonically representing terms with binding

Categories
- Data Structures
License
BSD-3-Clause
Maintainer
westbrook@galois.com
Links
- Documentation
- No source repository
- Changelog
- Security
Versions
- 1.3.1 Wed, 2 Dec 2020
- 1.3 Mon, 17 Aug 2020
- 1.2.4 Wed, 23 Aug 2017
- 1.2.3 Tue, 14 Jun 2016
- 1.2.2 Sun, 22 May 2016
- 1.2.1 Thu, 5 May 2016

Installation
In your cabal file:
Dependencies (10)
- base >=4.7 && <5
- deepseq
- haskell-src-exts >=1.17.1 && <1.20
- haskell-src-meta
- mtl
- syb
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.

@hackage hobbits1.2.4

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (10)

Dependents (1)