'(' Punctuation 'package' Keyword ' ' Text.Whitespace 'pygments-test' Name.Namespace ' ' Text.Whitespace '[' Punctuation 'some' Literal ' ' Text.Whitespace 'symbols' Literal ']' Punctuation '\n\n' Text.Whitespace '\\* multiline\n comment\n*\\' Comment.Multiline '\n\n' Text.Whitespace '\\\\ With vars as functions' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'super' Name.Function '\n ' Text.Whitespace '[' Punctuation 'Value' Name.Variable ' ' Text.Whitespace 'Succ' Name.Variable ' ' Text.Whitespace 'End' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Action' Name.Variable ' ' Text.Whitespace 'Combine' Name.Variable ' ' Text.Whitespace 'Zero' Name.Variable ' ' Text.Whitespace '->' Punctuation '\n ' Text.Whitespace '(' Punctuation 'if' Keyword ' ' Text.Whitespace '(' Punctuation 'End' Name.Function ' ' Text.Whitespace 'Value' Name.Variable ')' Punctuation '\n ' Text.Whitespace 'Zero' Name.Variable '\n ' Text.Whitespace '(' Punctuation 'Combine' Name.Function ' ' Text.Whitespace '(' Punctuation 'Action' Name.Function ' ' Text.Whitespace 'Value' Name.Variable ')' Punctuation '\n ' Text.Whitespace '(' Punctuation 'super' Name.Function ' ' Text.Whitespace '[' Punctuation '(' Punctuation 'Succ' Name.Function ' ' Text.Whitespace 'Value' Name.Variable ')' Punctuation ' ' Text.Whitespace 'Succ' Name.Variable ' ' Text.Whitespace 'End' Name.Variable ']' Punctuation '\n ' Text.Whitespace 'Action' Name.Variable ' ' Text.Whitespace 'Combine' Name.Variable ' ' Text.Whitespace 'Zero' Name.Variable ')' Punctuation ')' Punctuation ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'for' Name.Function '\n ' Text.Whitespace 'Stream' Name.Variable ' ' Text.Whitespace 'Action' Name.Variable ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace '(' Punctuation 'super' Name.Function ' ' Text.Whitespace 'Stream' Name.Variable ' ' Text.Whitespace 'Action' Name.Variable ' ' Text.Whitespace '(' Punctuation 'function' Keyword ' ' Text.Whitespace 'do' Name.Function ')' Punctuation ' ' Text.Whitespace '0' Literal.Number.Integer ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'filter' Name.Function '\n ' Text.Whitespace 'Stream' Name.Variable ' ' Text.Whitespace 'Condition' Name.Variable ' ' Text.Whitespace '->' Punctuation '\n ' Text.Whitespace '(' Punctuation 'super' Name.Function ' ' Text.Whitespace 'Stream' Name.Variable '\n ' Text.Whitespace '(' Punctuation '/.' Keyword ' ' Text.Whitespace 'Val' Name.Variable ' ' Text.Whitespace '(' Punctuation 'if' Keyword ' ' Text.Whitespace '(' Punctuation 'Condition' Name.Function ' ' Text.Whitespace 'Val' Name.Variable ')' Punctuation ' ' Text.Whitespace '[' Punctuation 'Val' Name.Variable ']' Punctuation ' ' Text.Whitespace '[]' Keyword.Pseudo ')' Punctuation ')' Punctuation '\n ' Text.Whitespace '(' Punctuation 'function' Keyword ' ' Text.Whitespace 'append' Name.Function ')' Punctuation '\n ' Text.Whitespace '[]' Keyword.Pseudo ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'for' Name.Function ' ' Text.Whitespace '[' Punctuation '0' Literal.Number.Integer ' ' Text.Whitespace '(' Punctuation '+' Name.Builtin ' ' Text.Whitespace '1' Literal.Number.Integer ')' Punctuation ' ' Text.Whitespace '(' Punctuation '=' Name.Builtin ' ' Text.Whitespace '10' Literal.Number.Integer ')' Punctuation ']' Punctuation ' ' Text.Whitespace '(' Punctuation 'function' Keyword ' ' Text.Whitespace 'print' Name.Function ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'filter' Name.Function ' ' Text.Whitespace '[' Punctuation '0' Literal.Number.Integer ' ' Text.Whitespace '(' Punctuation '+' Name.Builtin ' ' Text.Whitespace '1' Literal.Number.Integer ')' Punctuation ' ' Text.Whitespace '(' Punctuation '=' Name.Builtin ' ' Text.Whitespace '100' Literal.Number.Integer ')' Punctuation ']' Punctuation '\n ' Text.Whitespace '(' Punctuation '/.' Keyword ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '(' Punctuation 'integer?' Name.Builtin ' ' Text.Whitespace '(' Punctuation '/' Name.Builtin ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '3' Literal.Number.Integer ')' Punctuation ')' Punctuation ')' Punctuation ')' Punctuation '\n\n\n' Text.Whitespace '\\\\ Typed functions' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'typed-map' Name.Function '\n ' Text.Whitespace '{' Punctuation ' ' Text.Whitespace '(' Punctuation 'A' Name.Variable ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace 'B' Name.Variable ')' Punctuation ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace '(' Punctuation 'list' Keyword.Type ' ' Text.Whitespace 'A' Name.Variable ')' Punctuation ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace '(' Punctuation 'list' Keyword.Type ' ' Text.Whitespace 'B' Name.Variable ')' Punctuation ' ' Text.Whitespace '}' Punctuation '\n ' Text.Whitespace 'F' Name.Variable ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace '(' Punctuation 'typed-map-h' Name.Function ' ' Text.Whitespace 'F' Name.Variable ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '[]' Keyword.Pseudo ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'typed-map-h' Name.Function '\n ' Text.Whitespace '{' Punctuation ' ' Text.Whitespace '(' Punctuation 'A' Name.Variable ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace 'B' Name.Variable ')' Punctuation ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace '(' Punctuation 'list' Keyword.Type ' ' Text.Whitespace 'A' Name.Variable ')' Punctuation ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace '(' Punctuation 'list' Keyword.Type ' ' Text.Whitespace 'B' Name.Variable ')' Punctuation ' ' Text.Whitespace '\\\\ comment' Comment.Single '\n ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace '(' Punctuation 'list' Keyword.Type ' ' Text.Whitespace 'B' Name.Variable ')' Punctuation ' ' Text.Whitespace '}' Punctuation '\n ' Text.Whitespace '_' Name.Builtin ' ' Text.Whitespace '[]' Keyword.Pseudo ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace '(' Punctuation 'reverse' Name.Builtin ' ' Text.Whitespace 'X' Name.Variable ')' Punctuation '\n ' Text.Whitespace 'F' Name.Variable ' ' Text.Whitespace '[' Punctuation 'X' Name.Variable ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace 'Y' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Z' Name.Variable ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace '(' Punctuation 'typed-map-h' Name.Function ' ' Text.Whitespace 'F' Name.Variable ' ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace '[' Punctuation '(' Punctuation 'F' Name.Function ' ' Text.Whitespace 'X' Name.Variable ')' Punctuation ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace 'Z' Name.Variable ']' Punctuation ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'append-string' Name.Function '\n ' Text.Whitespace '{' Punctuation ' ' Text.Whitespace 'string' Keyword.Type ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace 'string' Keyword.Type ' ' Text.Whitespace '\\* comment *\\' Comment.Multiline ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace 'string' Keyword.Type ' ' Text.Whitespace '}' Punctuation '\n ' Text.Whitespace 'S1' Name.Variable ' ' Text.Whitespace 'S2' Name.Variable ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace '(' Punctuation 'cn' Name.Builtin ' ' Text.Whitespace 'S1' Name.Variable ' ' Text.Whitespace 'S2' Name.Variable ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'let' Keyword ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '1' Literal.Number.Integer '\n ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace '2' Literal.Number.Integer '\n ' Text.Whitespace '(' Punctuation '+' Name.Builtin ' ' Text.Whitespace '(' Punctuation 'type' Keyword ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'number' Literal ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'type' Keyword ' ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace 'number' Literal ')' Punctuation ')' Punctuation ')' Punctuation '\n\n' Text.Whitespace '\\\\ Yacc' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'defcc' Keyword ' ' Text.Whitespace '' Name.Function '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' \n ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '(' Punctuation 'package-macro' Name.Function ' ' Text.Whitespace '(' Punctuation 'macroexpand' Name.Builtin ' ' Text.Whitespace '' Literal ')' Punctuation ' ' Text.Whitespace '' Literal ')' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation '{' Literal ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation '}' Literal ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation ' \n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation 'bar!' Literal ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation ' \n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation ';' Punctuation ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation ':=' Punctuation ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation ':-' Literal ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation ':' Literal ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Literal ' ' Text.Whitespace '' Literal ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[' Punctuation '(' Punctuation 'intern' Name.Builtin ' ' Text.Whitespace '"' Literal.String ',' Literal.String '"' Literal.String ')' Punctuation ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace '' Literal ']' Punctuation ';' Punctuation '\n ' Text.Whitespace '' Name.Builtin ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace '[]' Keyword.Pseudo ';' Punctuation ')' Punctuation '\n \n' Text.Whitespace '(' Punctuation 'defcc' Keyword ' ' Text.Whitespace '' Name.Function '\n ' Text.Whitespace '91' Literal.Number.Integer ' ' Text.Whitespace ':=' Punctuation ' ' Text.Whitespace 'skip' Name.Builtin ';' Punctuation ')' Punctuation '\n\n' Text.Whitespace '\\\\ Pattern matching' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'define' Keyword ' ' Text.Whitespace 'matches' Name.Function '\n ' Text.Whitespace '1' Literal.Number.Integer ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '3' Literal.Number.Integer ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'X' Name.Variable '\n ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace 'Z' Name.Variable ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace 'where' Name.Builtin ' ' Text.Whitespace '(' Punctuation 'and' Keyword ' ' Text.Whitespace '(' Punctuation '=' Name.Builtin ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '1' Literal.Number.Integer ')' Punctuation ' ' Text.Whitespace '(' Punctuation '=' Name.Builtin ' ' Text.Whitespace 'Z' Name.Variable ' ' Text.Whitespace '3' Literal.Number.Integer ')' Punctuation ')' Punctuation '\n ' Text.Whitespace 'true' Keyword.Pseudo ' ' Text.Whitespace 'false' Keyword.Pseudo ' ' Text.Whitespace '_' Name.Builtin ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'true' Keyword.Pseudo '\n ' Text.Whitespace '(' Punctuation '@p' Keyword ' ' Text.Whitespace 'a' Literal ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'c' Literal ')' Punctuation ' ' Text.Whitespace '(' Punctuation '@s' Keyword ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '"' Literal.String 'a' Literal.String 'b' Literal.String 'c' Literal.String '"' Literal.String ')' Punctuation ' ' Text.Whitespace '(' Punctuation '@v' Keyword ' ' Text.Whitespace '1' Literal.Number.Integer ' ' Text.Whitespace '2' Literal.Number.Integer ' ' Text.Whitespace '3' Literal.Number.Integer ' ' Text.Whitespace '<>' Keyword.Pseudo ')' Punctuation ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'true' Keyword.Pseudo '\n ' Text.Whitespace '[' Punctuation 'X' Name.Variable ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace 'Rest' Name.Variable ']' Punctuation ' ' Text.Whitespace '[]' Keyword.Pseudo ' ' Text.Whitespace '[' Punctuation 'a' Literal ' ' Text.Whitespace 'b' Literal ' ' Text.Whitespace 'c' Literal ']' Punctuation ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'true' Keyword.Pseudo '\n ' Text.Whitespace '[' Punctuation '(' Punctuation '@p' Keyword ' ' Text.Whitespace 'a' Literal ' ' Text.Whitespace 'b' Literal ')' Punctuation ']' Punctuation ' ' Text.Whitespace '[' Punctuation '[' Punctuation '[' Punctuation '1' Literal.Number.Integer ']' Punctuation ' ' Text.Whitespace '2' Literal.Number.Integer ']' Punctuation ' ' Text.Whitespace 'X' Name.Variable ']' Punctuation ' ' Text.Whitespace '"' Literal.String 's' Literal.String 't' Literal.String 'r' Literal.String 'i' Literal.String 'n' Literal.String 'g' Literal.String '"' Literal.String ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'true' Keyword.Pseudo '\n ' Text.Whitespace '_' Name.Builtin ' ' Text.Whitespace '_' Name.Builtin ' ' Text.Whitespace '_' Name.Builtin ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace 'false' Keyword.Pseudo ')' Punctuation '\n\n\n' Text.Whitespace '\\\\ Prolog' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'defprolog' Keyword ' ' Text.Whitespace 'th*' Name.Function '\n ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'A' Name.Variable ' ' Text.Whitespace 'Hyps' Name.Variable ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '(' Punctuation 'show' Name.Function ' ' Text.Whitespace '[' Punctuation 'X' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Hyps' Name.Variable ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'when' Name.Builtin ' ' Text.Whitespace 'false' Keyword.Pseudo ')' Punctuation ';' Punctuation '\n ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'A' Name.Variable ' ' Text.Whitespace '_' Name.Builtin ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '(' Punctuation 'fwhen' Name.Builtin ' ' Text.Whitespace '(' Punctuation 'typedf?' Name.Function ' ' Text.Whitespace 'X' Name.Variable ')' Punctuation ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'bind' Name.Builtin ' ' Text.Whitespace 'F' Name.Variable ' ' Text.Whitespace '(' Punctuation 'sigf' Name.Function ' ' Text.Whitespace 'X' Name.Variable ')' Punctuation ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'call' Name.Builtin ' ' Text.Whitespace '[' Punctuation 'F' Name.Variable ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ')' Punctuation ';' Punctuation '\n ' Text.Whitespace '(' Punctuation 'mode' Name.Builtin ' ' Text.Whitespace '[' Punctuation 'F' Name.Variable ']' Punctuation ' ' Text.Whitespace '-' Literal ')' Punctuation ' ' Text.Whitespace 'A' Name.Variable ' ' Text.Whitespace 'Hyp' Name.Variable ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'F' Name.Variable ' ' Text.Whitespace '[' Punctuation '-->' Punctuation ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Hyp' Name.Variable ')' Punctuation ';' Punctuation '\n ' Text.Whitespace '(' Punctuation 'mode' Name.Builtin ' ' Text.Whitespace '[' Punctuation 'cons' Literal ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'Y' Name.Variable ']' Punctuation ' ' Text.Whitespace '-' Literal ')' Punctuation ' ' Text.Whitespace '[' Punctuation 'list' Literal ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Hyp' Name.Variable ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'A' Name.Variable ' ' Text.Whitespace 'Hyp' Name.Variable ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace '[' Punctuation 'list' Literal ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Hyp' Name.Variable ')' Punctuation ';' Punctuation '\n ' Text.Whitespace '(' Punctuation 'mode' Name.Builtin ' ' Text.Whitespace '[' Punctuation '@s' Literal ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'Y' Name.Variable ']' Punctuation ' ' Text.Whitespace '-' Literal ')' Punctuation ' ' Text.Whitespace 'string' Literal ' ' Text.Whitespace 'Hyp' Name.Variable ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'string' Literal ' ' Text.Whitespace 'Hyp' Name.Variable ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'Y' Name.Variable ' ' Text.Whitespace 'string' Literal ' ' Text.Whitespace 'Hyp' Name.Variable ')' Punctuation ';' Punctuation '\n ' Text.Whitespace '(' Punctuation 'mode' Name.Builtin ' ' Text.Whitespace '[' Punctuation 'lambda' Literal ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'Y' Name.Variable ']' Punctuation ' ' Text.Whitespace '-' Literal ')' Punctuation ' ' Text.Whitespace '[' Punctuation 'A' Name.Variable ' ' Text.Whitespace '-->' Punctuation ' ' Text.Whitespace 'B' Name.Variable ']' Punctuation ' ' Text.Whitespace 'Hyp' Name.Variable ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '!' Name.Builtin ' \n ' Text.Whitespace '(' Punctuation 'bind' Name.Builtin ' ' Text.Whitespace 'X&&' Name.Variable ' ' Text.Whitespace '(' Punctuation 'placeholder' Name.Function ')' Punctuation ')' Punctuation ' \n ' Text.Whitespace '(' Punctuation 'bind' Name.Builtin ' ' Text.Whitespace 'Z' Name.Variable ' ' Text.Whitespace '(' Punctuation 'ebr' Name.Function ' ' Text.Whitespace 'X&&' Name.Variable ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'Y' Name.Variable ')' Punctuation ')' Punctuation '\n ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'Z' Name.Variable ' ' Text.Whitespace 'B' Name.Variable ' ' Text.Whitespace '[' Punctuation '[' Punctuation 'X&&' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ' ' Text.Whitespace '|' Punctuation ' ' Text.Whitespace 'Hyp' Name.Variable ']' Punctuation ')' Punctuation ';' Punctuation ' \n ' Text.Whitespace '(' Punctuation 'mode' Name.Builtin ' ' Text.Whitespace '[' Punctuation 'type' Literal ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'A' Name.Variable ']' Punctuation ' ' Text.Whitespace '-' Literal ')' Punctuation ' ' Text.Whitespace 'B' Name.Variable ' ' Text.Whitespace 'Hyp' Name.Variable ' ' Text.Whitespace '<--' Punctuation ' ' Text.Whitespace '!' Name.Builtin ' ' Text.Whitespace '(' Punctuation 'unify' Name.Builtin ' ' Text.Whitespace 'A' Name.Variable ' ' Text.Whitespace 'B' Name.Variable ')' Punctuation ' ' Text.Whitespace '(' Punctuation 'th*' Name.Function ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace 'A' Name.Variable ' ' Text.Whitespace 'Hyp' Name.Variable ')' Punctuation ';' Punctuation ')' Punctuation '\n\n' Text.Whitespace '\\\\ Macros' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'defmacro' Keyword ' ' Text.Whitespace 'log-macro' Name.Function '\n ' Text.Whitespace '[' Punctuation 'log' Literal ' ' Text.Whitespace 'N' Name.Variable ']' Punctuation ' ' Text.Whitespace '->' Punctuation ' ' Text.Whitespace '[' Punctuation 'log' Literal ' ' Text.Whitespace 'N' Name.Variable ' ' Text.Whitespace '10' Literal.Number.Integer ']' Punctuation ')' Punctuation '\n\n' Text.Whitespace '\\\\ Sequent calculus' Comment.Single '\n\n' Text.Whitespace '(' Punctuation 'datatype' Keyword ' ' Text.Whitespace 'rank' Keyword.Type '\n\n ' Text.Whitespace 'if' Literal ' ' Text.Whitespace '(' Punctuation 'element?' Name.Builtin ' ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace '[' Punctuation 'ace' Literal ' ' Text.Whitespace '2' Literal.Number.Integer ' ' Text.Whitespace '3' Literal.Number.Integer ' ' Text.Whitespace '4' Literal.Number.Integer ' ' Text.Whitespace '5' Literal.Number.Integer ' ' Text.Whitespace '6' Literal.Number.Integer ' ' Text.Whitespace '7' Literal.Number.Integer ' ' Text.Whitespace '8' Literal.Number.Integer ' ' Text.Whitespace '9' Literal.Number.Integer ' ' Text.Whitespace '10' Literal.Number.Integer ' ' Text.Whitespace 'jack' Literal ' ' Text.Whitespace 'queen' Literal ' ' Text.Whitespace 'king' Literal ']' Punctuation ')' Punctuation '\n ' Text.Whitespace '________' Punctuation '\n ' Text.Whitespace 'X' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'rank' Keyword.Type ';' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'datatype' Keyword ' ' Text.Whitespace 'suit' Literal '\n\n ' Text.Whitespace 'if' Literal ' ' Text.Whitespace '(' Punctuation 'element?' Name.Builtin ' ' Text.Whitespace 'Suit' Name.Variable ' ' Text.Whitespace '[' Punctuation 'spades' Literal ' ' Text.Whitespace 'hearts' Literal ' ' Text.Whitespace 'diamonds' Literal ' ' Text.Whitespace 'clubs' Literal ']' Punctuation ')' Punctuation '\n ' Text.Whitespace '_________' Punctuation '\n ' Text.Whitespace 'Suit' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'suit' Keyword.Type ';' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'datatype' Keyword ' ' Text.Whitespace 'card' Literal '\n\n ' Text.Whitespace 'Rank' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'rank' Keyword.Type ';' Punctuation ' ' Text.Whitespace 'Suit' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'suit' Keyword.Type ';' Punctuation '\n ' Text.Whitespace '_________________' Punctuation '\n ' Text.Whitespace '[' Punctuation 'Rank' Name.Variable ' ' Text.Whitespace 'Suit' Name.Variable ']' Punctuation ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'card' Keyword.Type ';' Punctuation '\n\n ' Text.Whitespace 'Rank' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'rank,' Keyword.Type ' ' Text.Whitespace 'Suit' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'suit' Keyword.Type ' ' Text.Whitespace '>>' Name.Builtin ' ' Text.Whitespace 'P' Name.Variable ';' Punctuation '\n ' Text.Whitespace '_____________________' Punctuation '\n ' Text.Whitespace '[' Punctuation 'Rank' Name.Variable ' ' Text.Whitespace 'Suit' Name.Variable ']' Punctuation ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'card' Keyword.Type ' ' Text.Whitespace '>>' Name.Builtin ' ' Text.Whitespace 'P' Name.Variable ';' Punctuation ')' Punctuation '\n\n' Text.Whitespace '(' Punctuation 'datatype' Keyword ' ' Text.Whitespace 'card' Literal '\n\n ' Text.Whitespace 'Rank' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'rank' Keyword.Type ';' Punctuation ' ' Text.Whitespace 'Suit' Name.Variable ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'suit' Keyword.Type ';' Punctuation '\n ' Text.Whitespace '==================' Punctuation '\n ' Text.Whitespace '[' Punctuation 'Rank' Name.Variable ' ' Text.Whitespace 'Suit' Name.Variable ']' Punctuation ' ' Text.Whitespace ':' Literal ' ' Text.Whitespace 'card' Keyword.Type ';' Punctuation ')' Punctuation '\n\n' Text.Whitespace '\\\\ String interpolation and escape sequences' Comment.Single '\n\n' Text.Whitespace '"' Literal.String 'a' Literal.String 'b' Literal.String 'c' Literal.String '~A' Literal.String.Interpol ' ' Literal.String '~S' Literal.String.Interpol '~R' Literal.String.Interpol ' ' Literal.String '~%' Literal.String.Interpol ' ' Literal.String 'b' Literal.String 'l' Literal.String 'a' Literal.String 'h' Literal.String '\n' Literal.String ' ' Literal.String 'c#30;' Literal.String.Escape 'c#31;' Literal.String.Escape 'b' Literal.String 'l' Literal.String 'a' Literal.String 'h' Literal.String '"' Literal.String '\n\n' Text.Whitespace ')' Punctuation '\n' Text.Whitespace