Installation
Install Verum on Linux or macOS — build from source today, prebuilt binaries when 0.1.0 is tagged.
Hello, World
Your first Verum program — the canonical print, a refinement type, and SMT in action.
Language Tour
Twelve minutes. Twelve features. No fluff. Every snippet below
Project Structure
Anatomy of a Verum project — files, modules, visibility, and workspaces.
Script mode
Single-file Verum scripts via `#!` shebang — top-level statements, exit-code propagation, and the three-mode contract that keeps interpreter, AOT, and script invocations unambiguous.