Uncurry functions via a worker/wrapper split - #202

Merged

Unisay merged 6 commits into

mainfrom

issue-24/uncurry-worker-wrapper

Jul 7, 2026

Commits on Jul 7, 2026

feat: represent abstraction as an n-ary AbsN node
Unisay
committed
ab826ee
feat: reduce exact-arity n-ary beta redexes
Unisay
committed
73003cc
feat: flatten deep n-ary application chains and spines
Unisay
committed
4a337f9
feat: uncurry functions via a worker/wrapper split (#24)
Unisay
committed
dd71a29
bench: counter goldens for the uncurried output, CurriedStep macro
Unisay
committed
57fb3d2
test: property, pipeline-composition and inline-always coverage for uncurrying
Unisay
committed
26e47d9