Merge branch 'master' into popl2012
[match/match.git] / program / run
1 #!/bin/bash
2 make && exec ghci -cpp Test "$@"