# (stdin, w) = stdio w
| args.version
# stdin = stdin
- <<< "spl 0.1 (17 march 2016)\n"
+ <<< "spl 1.0 (9 June 2016)\n"
<<< "Copyright Pim Jager and Mart Lubbers\n"
= snd $ fclose stdin w
| args.help
# stdin = stdin
<<< "Usage: " <<< args.program <<< " [OPTION] [FILE]\n"
- <<< "<spl> ::= <spl> <parser> <lexer>\n"
- <<< "Lex parse and either FILE or stdin\n"
<<< "\n"
<<< "Options:\n"
<<< " --help Show this help\n"