@hackage / graph-rewriting-strategies

Evaluation strategies for port-graph rewriting systems

Latest0.2.9

About

Metadata

  • Last updated , by JanRochel
  • License BSD-3-Clause
  • Categories Mathematics, Graphics

  • Maintained by: jan@rochel.info

  • Lottery factor: 0

Links

Installation

Readme

Defines a mechanism to add evaluation strategies to graph rewriting systems defined in terms of the graph-rewriting library. Currently only leftmost-outermost reduction is implemented.