git.iko.soy/Idris-dev
on 01ceead help sign in
Idris-dev/test/test001
3 files
../ expectedAdded test directory and a single test... runAdded test directory and a single test... test001.idrAdded test directory and a single test...