# PFPL reading notes

August 31, 2017

This is a collection of random notes when reading the textbook PFPL.

Definition

“x is bound within a2”

$let(a_1, x.a_2)$

can be intrepreted as x is an immaterial variable within a2