- ANF A-Normalization
- Arithmetic Notes on rational and complex arithmetic.
- CODEGEN Notes on the code generator utility.
- ENV Abandoned plan to have first-class environments.
- LEXICAL ADDRESSING De-Bruijn indexing for fast variable look up.
- MACROS Initial thoughts on a simple macro system.
- MATCH Initial notes on the
match
andcond
internal (lambda) constructs. - MATH Description of the CEKF runtime.
- NAMESPACES Discussion of namespaces as a more practical alternative to firts-class environments.
- PRINT Notes on the print system.
- STRUCTS Thoughts and plans for constructors with named fields.
- TODO TODO list.
- TYPES Extensive notes on Algorithm W.
- V2 Description of the switch from tree-walker to bytecode interpreter.
- lambda conversion Initial thoughts on what became the TPMC.
Apart from the above, there are automatically generated files for each of the YAML files showing the relationships as mermaid flow charts. They're not always very useful being a bit difficult to read but for the sake of completeness:
- generated/anf A-Normal form structures input to the bytecode compiler.
- generated/ast Abstract Syntax Tree output from the parser.
- generated/builtins Support for builtin functions.
- generated/cekfs Structures used by the bytecode interpreter.
- generated/lambda Plain Lambda intermediate code generated from the AST.
- generated/pratt Structures used by the pratt parser.
- generated/tc Type Checking support data structures.
- generated/tpmc Support structures for the Term Pattern Matching Compiler.