git.iko.soy/Idris-dev
on dfbb3db help sign in
Idris-dev/test/test024
4 files
../ expectedFixed test 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