Lambda calculus reading today and light note taking.