@hackage / rebound

A variable binding library based on well-scoped de Bruijn indices.

Latest0.1.2.0

Dependencies

library:rebound (7 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.14.3 && <2.16
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version: >=1.4.8 && <1.6
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.15 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.3.1 && <2.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.7 && <0.8
- License: BSD-3-Clause
@hackage / vec Vec: length-indexed (sized) list
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / fin Nat and Fin: peano naturals and finite numbers
- Version: >=0.3 && <0.4
- License: BSD-3-Clause

library:rebound-examples (7 dependencies)

test:rebound-tests (8 dependencies)