Quirk21

• Informal semantics: somewhat similar to the corresponding subset of Scheme, but there are some important differences, e.g. syntax and static types. See the typing rules below.
• Context-free grammar
• ParseGen grammar
• ParseGen documentation
• Specification of abstract syntax trees
• Specification of scope and typing rules.
• Specification of the dleaf, free, and tail attributes.
• Specification of a simple code generator for a subset of quirk21.
• The quirk21a subset of quirk21.
• The quirk21b subset of quirk21.

History of changes to this documentation.