Skip to content

[spec] Define the syntax of exact heap types#93

Merged
tlively merged 9 commits intomainfrom
spectec-exact-heap-type-syntax
Feb 3, 2026
Merged

[spec] Define the syntax of exact heap types#93
tlively merged 9 commits intomainfrom
spectec-exact-heap-type-syntax

Commits

Commits on Jan 29, 2026

Commits on Jan 30, 2026