git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/ffi003
4 files
../ expectedMake --quiet imply non-verbosity inputUpdate test to avoid interactive-mode control chars runUpdate test to avoid interactive-mode control chars test024.idrCategorise tests