GL.hs
Graph.hs
LICENSE
Main.hs
Rules.hs
Setup.hs
Term.hs
TermRewriting.hs
graph-rewriting-trs.cabal
examples