X

A systems programming language with checked semantic contracts.

memoise pure fn square(value: i32) -> i32 {
    return value * value;
}

fn main() -> i32 {
    return square(7) - 49;
}

Getting started

Requires Rust 1.97.1 and LLVM/Clang 22.1.8.

cargo run --release --locked -p x-cli -- new hello
cargo run --release --locked -p x-cli -- run hello