git.iko.soy/Idris-dev
on fdbee50 help sign in
Idris-dev/test/test004
3 files
../ expectedSeparate 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 runReset test runscripts to mode 0755 test004.idrWhitespace cleanup.