Skip to content

S3 — The two documents stop being able to disagree about the types they both describe - #28

Merged
The-Running-Dev merged 1 commit into
mainfrom
slice/S3
Aug 21, 2026
Merged

S3 — The two documents stop being able to disagree about the types they both describe#28
The-Running-Dev merged 1 commit into
mainfrom
slice/S3

S3: mirror check ties 03's closed-declaration prose to 04's declarations

4ceb0d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar