A functional programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.