git.iko.soy/Idris-dev
on 32aeb5a help sign in
Idris-dev/test/test004
3 files
../ expectedCompile io bind specially, to make sure effectful thunks are not memoised runSome file handling test004.idrRemoved semicolons from tests