@hackage / nominal

Binders and alpha-equivalence made easy

Latest0.3.0.0

Dependencies

library:nominal (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.5 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause