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