git.iko.soy/Idris-dev
on d1663cc 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.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