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