Register user primitives on the term-encoding typechecker - #945
Draft
oflatt-claude wants to merge 1 commit into
Draft
Register user primitives on the term-encoding typechecker#945oflatt-claude wants to merge 1 commit into
oflatt-claude wants to merge 1 commit into
