Arrow keys, esc, enter → Terminal.readKey()
A language designed for AI to write and humans to review.
?) explaining what and why.
! [Console.print]. No hidden side effects.
verify add cases run as tests, act as documentation, guard against regressions.
fn divide(a: Int, b: Int) -> Result<Int, String> ? "Safe division. Returns Err on zero." match b 0 -> Result.Err("Division by zero") _ -> Result.Ok(a / b) verify divide divide(10, 2) => Result.Ok(5) divide(10, 0) => Result.Err("Division by zero")
No emscripten. Shared runtime. Just your code.
--target wasm-gc --optimize size — engine GC + native tail-calls; per-program binary, no shared runtime to fetch.
Terminal.print, Console.readLine, Time.sleep. The host provides implementations. No filesystem access, no network — 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+).