equal
deleted
inserted
replaced
6 which includes a lexer, parser, pretty printer and macro system. Note |
6 which includes a lexer, parser, pretty printer and macro system. Note |
7 that only the following structures are supposed to be exported: |
7 that only the following structures are supposed to be exported: |
8 |
8 |
9 Pretty (generic pretty printing module) |
9 Pretty (generic pretty printing module) |
10 Scan (generic scanner toolbox) |
10 Scan (generic scanner toolbox) |
11 Symbol (baroque characters) |
11 Source (co-algebraic data sources) |
|
12 Symbol (generalized characters) |
12 |
13 |
13 Syntax (internal interface to the syntax module) |
14 Syntax (internal interface to the syntax module) |
14 BasicSyntax (part of Syntax made pervasive) |
15 BasicSyntax (part of Syntax made pervasive) |