git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/io003
4 files
../ expected.outRename expected, input and run run.shRename expected, input and run test018.idrprim__vm needs to take a World reference test018a.idrPurify Idris of "return"