In the absence of stack, use `cabal new-run`
In the absence of stack, use `cabal new-run`

which has the nice property that it rebuilds the executable if the code
has changed.

antalsz/hs-to-coq,antalsz/hs-to-coq