git.iko.soy/Idris-dev
on 87fb53a 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 theOtherTypeClarify behavior of type provider test theTypeCategorise tests