idris-1.3.3: test/pkg006/expected.out

Can't start REPL: no main module given