git.iko.soy/Idris-dev
on bb400de help sign in
Idris-dev/test/pkg003
4 files
../ Main.idrAdd test that quoted strings with valid filenames are OK expectedMake the pkg tests take the same display options as the other tests. runmake the tests respect the IDRIS env variable test.ipkgMake the pkg tests take the same display options as the other tests.