Skip to content

hyp policy: class-neutral machine-local marking verb (LLP 0110/0111)#327

Merged
philcunliffe merged 16 commits into
masterfrom
integration/hyp-policy-verb
Jul 20, 2026
Merged

hyp policy: class-neutral machine-local marking verb (LLP 0110/0111)#327
philcunliffe merged 16 commits into
masterfrom
integration/hyp-policy-verb

Merge remote-tracking branch 'origin/master' into HEAD

43fa068
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
typecheck
succeeded Jul 20, 2026 in 26s