git.iko.soy/Idris-dev
on ace080c help sign in
Idris-dev/test/test021
5 files
../ expectedAdded effects package and associated tests runAdded effects package and associated tests test021.idrAdded effects package and associated tests test021a.idrAdded effects package and associated tests testFileAdded effects package and associated tests