git.iko.soy/Idris-dev
on 80a67c5 help sign in
Idris-dev/test/test024
4 files
../ expectedFixed test inputAdd test for sequencing of I/O in executor runReset test runscripts to mode 0755 test024.idrSeparate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325