Spectre Programming Language
Summary
Spectre is a low-level, contract-based programming language focused on safety. It emphasizes immutability by default, type-level invariants, and runtime checks when compile-time proofs are not possible, with a memory-management model based on arenas or custom allocators and a translation path to QBE IR. The docs aim to guide developers through preconditions, invariants, and trust propagation to achieve correctness while maintaining low-level control.