Second version of the reduction.

[match/match.git] / program / show-graph

#!/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