Skip to content

docs: Add exit-semantics design documentation - #1080

Open
seebees wants to merge 1 commit into
strata-org:mainfrom
seebees:issue-993-exit-semantics
Open

docs: Add exit-semantics design documentation#1080
seebees wants to merge 1 commit into
strata-org:mainfrom
seebees:issue-993-exit-semantics

docs + feat(imperative): Exit semantics design docs and named lemmas

b28fd4d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.