Things I learned from Learning Haskell Equivalence Exercises:

tl;dr more about lambda calculus!

  • What a free variable is
  • What a bound variable is
  • Alpha Equivalence
  • How to make a multiple argument lambda a series of single argument lambdas

Answers to the other Alpha Equivalence Exercise on page 45

Equivalence Exercises page 45 20160912_144434

Leave a comment on github