Skip to content

feat: write a proved machine as TypeScript - #89

Merged
Sequela02 merged 6 commits into
mainfrom
feat/stage-10-typescript
Nov 13, 2026
Merged

feat: write a proved machine as TypeScript#89
Sequela02 merged 6 commits into
mainfrom
feat/stage-10-typescript

docs: say a machine's state is read once

4136ce2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar