Skip to content

[Builtins] Generalize 'evaluateTerm'#7367

Open
effectfully wants to merge 1 commit intomasterfrom
effectfully/builtins/generalize-evaluateTerm
Open

[Builtins] Generalize 'evaluateTerm'#7367
effectfully wants to merge 1 commit intomasterfrom
effectfully/builtins/generalize-evaluateTerm

Commits

Commits on Sep 25, 2025