Skip to content

Name Thesis as the fifth primitive (iariw-2026) - #28

Merged
MaxGhenis merged 1 commit into
mainfrom
claude/dazzling-blackburn-2cb1a5
Aug 27, 2026
Merged

Name Thesis as the fifth primitive (iariw-2026)#28
MaxGhenis merged 1 commit into
mainfrom
claude/dazzling-blackburn-2cb1a5

Commits

Commits on Aug 27, 2026