git.iko.soy/Idris-dev
on f6edbf0 help sign in
Idris-dev/test/test032
4 files
../ expectedFix integer literals at REPL inputFix integer literals at REPL runAdd a test for interactive features of REPL test032.idrWhitespace cleanup.