git.iko.soy/Idris-dev
on 80932ef help sign in
Idris-dev/test/interactive014
4 files
../ expectedAdd test for :exec (+ fix for test/README.md) inputAdd test for :exec (+ fix for test/README.md) interactive014.idrAdd test for :exec (+ fix for test/README.md) runAdd test for :exec (+ fix for test/README.md)