Scripting Language with Hindley-Milner Type Inference

A small scripting language with Lisp syntax, Hindley-Milner type inference, and a WASM backend. The language is functional with partial application and closures. However mutation and other effects are allowed but they obey static rules.

Even though it isn't part of typical AI training data, it's designed to be discoverable through built-in tools like --help, --learn, and interactive console exploration. In practice, AI tools like Codex or Claude can pick it up quickly by inspecting these resources.