MiniHaskell in Idris Blatantly ported from the excellent plzoo. Compiling idris MiniHaskell.idr -o mh Tests After compiling run ./tests.sh New tests need a test file under tests the file's name (w/o ext) added to tests.sh an expectation file (file-name-exp.mh) in tests