Documentation

Geas is a statically typed, contract oriented language that sits between other languages. A program declares contracts, other languages sign and fulfill them across the C ABI, and the runtime enforces the terms.

Start here:

• Getting started builds the toolchain and runs your first contract.
• Language tour walks the whole language in one sitting.
• Contracts and the lifecycle explains vows, pledges, subcontracts, and the requirements policy.

Going deeper:

• Interop covers signing contracts from C, Python, and over the network.
• Language reference is the precise description of the language.
• Tooling documents the compiler commands and the build surface.