Skip to content

Accept quoted symbols in commodity predicates - #3

Merged
jwiegley merged 1 commit into
mainfrom
johnw/quoted-commodity-predicate
Nov 4, 2026
Merged

jwiegley merged 1 commit into
mainfrom
johnw/quoted-commodity-predicate

Accept quoted symbols in commodity predicates

e633730
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Build oracle and check proofs (macos-latest)
succeeded Nov 4, 2026 in 14m 31s