Skip to content
Veyr

Compiler Internals

The compiler documentation should explain the implementation model, not just the public language surface.

Initial areas to document:

  • lexer and token spans
  • parser and copyable AST representation
  • type and semantic checking
  • diagnostics
  • LLVM IR emission
  • self-hosting and fixpoint builds

The source-of-truth internal notes currently live in the compiler repository and should be imported or mirrored here deliberately.