A strongly-typed programming language that targets WebAssembly.