🍃 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
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.
One tool makes the timetable, another judges it: CP-SAT solves, writ audits — an independent oracle over a foreign solver's output.
Add a description, image, and links to the writ topic page so that developers can more easily learn about it.
To associate your repository with the writ topic, visit your repo's landing page and select "manage topics."