The latest version of graph-rewriting-strategies is 0.2.9-0.
lib:graph-rewriting-strategies
Modules
Dependencies
- base lib:base >=4 && <4.8
- base-unicode-symbols lib:base-unicode-symbols >=0.2 && <0.3
- containers lib:containers >=0.4 && <0.6
- graph-rewriting lib:graph-rewriting >=0.7 && <0.8
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- graph-rewriting-lambdascope exe:bad-context-sharing
- graph-rewriting-lambdascope exe:lambdascope