git.iko.soy/Idris-dev
on 2d3bbcc help sign in
Idris-dev/test/ffi004
5 files
../ expectedRemove reliance on interactive output from test ffi004 runmake the tests respect the IDRIS env variable test026.idrFile IO type indicates possibility of failure theOtherTypeCategorise tests theTypeCategorise tests