Please note that I am using the \ character to indicate λ. This is partially so that my notation is closer to Haskell, and partially so I don’t have to write &lambda all the time in the Markdown file this page is being generated from. In my first draft of these notes I actually wrote everything in LaTex (using MathJax to display it on the page). Despite how great LaTex is (and MathJax!), this was a huge mistake as it proved to be horrifically labor-intensive. So all the pseudocode in these notes are just going to be in ascii.