The latest version of ho-rewriting is 0.2.1-0.
lib:ho-rewriting
Modules
Dependencies
- base lib:base >=4.7 && <5
- compdata lib:compdata >=0.9
- containers lib:containers >=0
- mtl lib:mtl >=0
- patch-combinators lib:patch-combinators >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- ho-rewriting test:capture
- ho-rewriting test:examples