AXIOM

module hello

fn main() -> Result<Unit, IOError> requires IO {
    io.print("Hello, AXIOM!")?
    Ok(())
}

-- Pure function: no capabilities needed
fn square(x: Int<32>) -> Int<32> {
    x * x
}

-- Error handling with Result
fn safe_divide(a: Float<64>, b: Float<64>) -> Result<Float<64>, MathError> {
    if b == 0.0 {
        Err(MathError.DivisionByZero)
    } else {
        Ok(a / b)
    }
}