ngsankha/eecs662

Lambda calculus

ngsankha opened this issue · 0 comments

ngsankha commented
  • Add an example of call-by-name to the notes and how it can be implemented in our interpreter.
  • Add an example of encoding numbers in lambda calculus