agda/examples/outdated-and-incorrect/Alonzo/almake

#!/bin/sh

agda --alonzo $1.agda
ghc --make -main-is $1.main $1.hs