git.iko.soy/Idris-dev
on 78fa258 help sign in
Idris-dev/test/test024
4 files
../ expectedFix expected output for test024 inputAdd test for sequencing of I/O in executor runAdd test for sequencing of I/O in executor test024.idrAdd test for sequencing of I/O in executor