git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/test/test021
5 files
../ expectedadapted expected output of test021 to honor modulo runAdded effects package and associated tests test021.idrAdded effects package and associated tests test021a.idrRemoved unreliable machine ints from Random effect testFileAdded effects package and associated tests