lib:ho-rewriting
Modules
Dependencies
- base lib:base >=4.7 && <5
- compdata lib:compdata >=0.10 && <0.11
- 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