OJaml / docsProject documentation

All docs Papers Home

Jagger Docs/OJaml/Tutorials

Read the project story →

Switch project

Tutorials Explore OJaml

How-to guides Separate editor diagnostics from runtime traps Add a builtin consistently

Reference 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 Thesis and Design Contract Inference Proof Sketch Tradeoffs and Current Boundaries Project context and scope

Search OJaml documentation

Tutorials

OJaml

Learn through a guided exercise with a concrete checkpoint.

Tutorials

Learn through a guided exercise with a concrete checkpoint.

Explore OJaml →