Project documentation
OJaml
Start with a guided exercise, solve a specific task, look up an exact contract, or explore the design.
Tutorials
Learn through a guided exercise with a concrete checkpoint.
Explore OJaml →How-to guides
Complete a task or diagnose a specific problem.
Separate editor diagnostics from runtime traps →Add a builtin consistently →Reference
Look up syntax, contracts, layouts, algorithms, and exact behavior.
Surface Language →AST and Source Spans →Static Semantics and Type Representation →Typed Standard Library →First-Class Functions and Closures →Runtime Value Representation →WebAssembly Backend →Pattern Matching →Monaco Tooling and Language Service →Validation Strategy →Implementation Correspondence →Explanation
Understand the design decisions, alternatives, and limits.
Thesis and Design Contract →Inference Proof Sketch →Tradeoffs and Current Boundaries →Project context and scope →