echo `pwd` mkdir _darcs touch _darcs/inventory [ -e Doc ] || darcs get http://repetae.net/john/repos/Doc [ -e Boolean ] || darcs get http://repetae.net/john/repos/Boolean make && ./jhc $* -flint -v test/HelloWorld.hs