git.iko.soy/Idris-dev
on ddba413 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 'module' keyword to declare default namespace. 'main' must be in namespace 'main'