Skip to content

Simplify curried function calls to use uncurried syntax - #12

Merged
vbergeron merged 2 commits into
mainfrom
claude/determined-pasteur-96rgdu
Sep 23, 2026
Merged

vbergeron merged 2 commits into
mainfrom
claude/determined-pasteur-96rgdu

examples/eval: shift down after beta substitution (#11)

a369192
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar