graph-rewriting-lambdascope 0.4.10 → 0.4.11
raw patch · 2 files changed
+2/−2 lines, 2 files
Files
- GL.hs +1/−1
- graph-rewriting-lambdascope.cabal +1/−1
GL.hs view
@@ -30,7 +30,7 @@ renderNode node = drawPorts node >> case node of Initiator {} → drawNode "I" Applicator {} → drawNode "@"- Abstractor {} → drawNode ('L' : name node)+ Abstractor {} → drawNode (name node) Constant {} → drawNode (name node) Function {} → drawNode (name node) Eraser {} → drawNode ""
graph-rewriting-lambdascope.cabal view
@@ -1,5 +1,5 @@ Name: graph-rewriting-lambdascope-Version: 0.4.10+Version: 0.4.11 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE