git.iko.soy/Idris-dev
on b2f6cc3 help sign in
Idris-dev/test/test001
3 files
../ expectedAdded test directory and a single test... runAdded test directory and a single test... test001.idrSince we can overload things, might as well use less ugly names ;)