git.iko.soy/Idris-dev
on f869396 help sign in
Idris-dev/test/test032
4 files
../ expectedAdd a test for interactive features of REPL inputAdd a test for interactive features of REPL runAdd a test for interactive features of REPL test032.idrAdd a test for interactive features of REPL