git.iko.soy/Idris-dev
on abc2002 help sign in
Idris-dev/test/interactive005
4 files
../ expectedAdd a test for compiler filename warnings inputAdd a test for compiler filename warnings interactive005.idrAdd test for basic REPL commands runAdd a test for compiler filename warnings