git.iko.soy/Idris-dev
on 2be265d help sign in
Idris-dev/test/base001
8 files
../ MakefileAdded test case for System.system (#3281) base001.idrAdded test case for System.system (#3281) base001.ipkgAdded test case for System.system (#3281) exit1.cAdded test case for System.system (#3281) expectedAdded test case for System.system (#3281) runAdded test case for System.system (#3281) sys.cAdded test case for System.system (#3281) sys.hAdded test case for System.system (#3281)