Second version of the reduction.
[match/match.git] / program / show-graph
diff --git a/program/show-graph b/program/show-graph
new file mode 100755 (executable)
index 0000000..09133e5
--- /dev/null
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -e
+echo "Paste the escaped graphviz string from ghci."
+IFS='' read -r egvinput
+eval "echo \$'$egvinput'" | dot -Tps -o thegraph.ps
+go thegraph.ps