A fun language aimed to match wasm semantics, but with infix syntax and an more advanced type system. - View it on GitHub