@hackage / guarded-rewriting

Datatype-generic rewriting with preconditions

Latest0.1

Dependencies

library:guarded-rewriting (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=3.0 && <5
- License: BSD-3-Clause
@hackage / instant-generics Generic programming library with a sum of products view
- Version: >=0.1 && <1.0
- License: BSD-3-Clause