Matt McCutchen's Web Site
/
match
/
match.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
+++ b/
program/show-graph
@@ -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