@hackage / ho-rewriting

Generic rewrite rules with safe treatment of variables and binders

Latest0.3

Dependencies

library:ho-rewriting (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / patch-combinators A library for patching functions and data structures
- Version:
- License: BSD-3-Clause
@hackage / compdata Compositional Data Types
- Version: <=0.14
- License: BSD-3-Clause

test:capture (4 dependencies)