Reference
OJaml
Look up syntax, contracts, layouts, algorithms, and exact behavior.
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 →