git.iko.soy/Idris-dev
on 3eede2e help sign in
Idris-dev/test/reg029
3 files
../ expectedAdd regression test for possibly-null foreign strings in the executor reg029.idrAdd regression test for possibly-null foreign strings in the executor runstarted working on new cmd arg parser