git.iko.soy/Idris-dev
on d1663cc 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 runInfrastructure for passing of parameters to idris during tests test004.idrWhitespace cleanup.