🍃 A minimal documentation theme
-
Updated
Dec 19, 2023 - HTML
🍃 A minimal documentation theme
A Writ is a Copy-Minimal, Reversible Mutation Primitive Designed for Speculative State Editing, Instant Rollback, Deterministic Replay, and Patch Extraction Across Complex Rust Data Structures
One tool makes the timetable, another judges it: CP-SAT solves, writ audits — an independent oracle over a foreign solver's output.
Worked writ models — puzzles, scheduling, institutional scenarios — and a runner that checks the answers.
Designing system architectures by exhaustion — a systems-engineering layer over writ.
VS Code client for writ: diagnostics, outline, hover and completion, served by the language's own OCaml server.
To associate your repository with the writ topic, visit your repo's landing page and select "manage topics."