What is lazy evaluation?
What can you do in Source §2 Lazy?
You want the definitive specs?
For our development team, we are maintaining a definitive description of the language, called the Specification of Source §2 Lazy. Feel free to take a peek!