git.iko.soy/Idris-dev
on 9302221 help sign in
Idris-dev/test/ffi004
5 files
../ expectedRemove reliance on interactive output from test ffi004 runRemove reliance on interactive output from test ffi004 test026.idrRemove reliance on interactive output from test ffi004 theOtherTypeCategorise tests theTypeCategorise tests