git.iko.soy/Idris-dev
on 8c19e30 help sign in
Idris-dev/test/test021
5 files
../ expectedadapted expected output of test021 to honor modulo runAdded effects package and associated tests test021.idrUpdate Effect.File to use new failure handling test021a.idrRemoved unreliable machine ints from Random effect testFileAdded effects package and associated tests