Skip to content

grammar: open subsystem keys to arbitrary identifiers (closes #64)#68

Merged
proofmancer merged 1 commit into
mainfrom
grammar/open-subsystem-keys
May 25, 2026
Merged

grammar: open subsystem keys to arbitrary identifiers (closes #64)#68
proofmancer merged 1 commit into
mainfrom
grammar/open-subsystem-keys

grammar: open subsystem keys to arbitrary identifiers (closes #64)

fcf1799
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar