Website | Source

Examples

hello.0:

pub fun main(world: World) -> Void raises {
    check world.out.write("hello from zero\n")
}

add.0:

fun answer() -> i32 {
    return 40 + 2
}

pub fun main(world: World) -> Void raises {
    let value = answer()
    if value == 42 {
        check world.out.write("math works\n")
    } else {
        check world.out.write("math broke\n")
    }
}


Tags: language   ai   agents   verification   syntactic  

Last modified 15 June 2026