A programming language built for models to write and compilers to check. Mandatory contracts, algebraic effects, typed slot references. Compiles to WebAssembly and runs at the command line, in any browser, or as a portable WASI component.
Related Tools
Other development & code tools in the same category
