on master help sign in
Idris-dev/test/pkg003/test.ipkg
7 lines 178 B history raw
1package test
3modules = Main
5opts = "--warnpartial --warnreach --nocolour --quiet --consolewidth 80"
6main = Main
7executable = "quoting-allows-hyphens and spaces and fun stuff!"