Skip to content

A mutable variable read is an explicit operation, not a subtyping rule - #64

Merged
dpmills merged 4 commits into
dmills/mut-typing-fixesfrom
dmills/explicit-register-reads
Aug 14, 2026
Merged

A mutable variable read is an explicit operation, not a subtyping rule#64
dpmills merged 4 commits into
dmills/mut-typing-fixesfrom
dmills/explicit-register-reads

Commits

Commits on Aug 14, 2026