Arrow keys, esc, enter → Terminal.readKey()
A programming language for code written with AI.
?) that says what it does and why.
! [Console.print]. There are no hidden side effects.
verify add cases run as tests. They also document the function and catch regressions.
fn average(total: Int, count: Int) -> Result<Int, String> ? "Average price per item — Err when the cart is empty." Int.div(total, count) verify average average(10, 2) => Result.Ok(5) average(10, 0) => Result.Err("division by zero")
No emscripten. No runtime to fetch. Only your code.
--target wasm-gc --optimize size — engine GC + native tail-calls; per-program binary, no shared runtime to fetch.
Terminal.print, Console.readLine or Time.sleep. The host provides the implementations. There is no filesystem or network access unless you grant it.
$ cargo install aver-lang $ aver compile game.av --target wasm-gc --optimize size Compiled game.av → game.wasm (5.0 KiB, engine GC + tail calls, imports aver/* (effects)) # drag game.wasm into the playground — modern browsers only # (Chrome 119+ / Firefox 120+ / Safari 18.2+).