git.iko.soy/Idris-dev
on db07875 help sign in
Idris-dev/test/pkg003
4 files
../ Main.idrAdd test that quoted strings with valid filenames are OK expectedAdd test that quoted strings with valid filenames are OK runAdd test that quoted strings with valid filenames are OK test.ipkgAdd test that quoted strings with valid filenames are OK