@hackage bound0.1

Combinators for manipulating locally-nameless generalized de Bruijn terms

Categories
- Compilers and Interpreters
- Language
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
- 2.0.7 Fri, 5 Jul 2024
- 2.0.6 Mon, 27 Feb 2023
- 2.0.5 Sun, 8 May 2022
- 2.0.4 Wed, 10 Nov 2021
- 2.0.3 Sun, 29 Aug 2021
- 2.0.2 Fri, 5 Feb 2021

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- transformers >=0.2 && <0.4
- bifunctors >=0.1.3 && <0.2
- prelude-extras >=0.2 && <0.3
Dependents (9)
@hackage/bound-gen, @hackage/json-spec-elm-servant, @hackage/acme-everything, @hackage/bound-extras, @hackage/json-spec-elm, @hackage/haskell-to-elm, Show all…

Combinators for manipulating locally-nameless generalized de Bruijn terms