Slides from my talk on reasoning about laziness at BayHac

Here are my slides for today's tutorial on reasoning about laziness:

Reasoning about laziness

View more presentations from Johan Tibell.

(There's a downloadable PDF version, too, if you find that an easier format to deal with.)

I've also posted a Git repository of the slide source code, in case anyone would like to use the slides for their own purposes.