git.iko.soy/Idris-dev
on f8a6746 help sign in
Idris-dev/test/ffi003
4 files
../ expectedUpdate test to avoid interactive-mode control chars inputUpdate test to avoid interactive-mode control chars runUpdate test to avoid interactive-mode control chars test024.idrCategorise tests