20 May 2011

Automatic forcing of promises in Klink

I had meant to explain also about auto-forcing in $let' or $define!', but for some reason I didn't. So I'm adding this now.
Background: In Kernel, combiners like $let' and $define!' destructure values. That is, they define not just one thing, but an arbitrarily detailed tree of definiendums.