garden/lambda-calculus.md

lambda calculus

• danlistensto recommended the-little-schemer
• karlicoss recommended selinger: arxiv.org/abs/0804.3434
  • also http://www1.cs.columbia.edu/~sedwards/classes/2008/w4115-fall/functional.pdf
• rodrigo-baraglia recommended the first chapter of haskell from first principles

https://twitter.com/flancian/status/1379069865672245251 https://twitter.com/encincovoy/status/1379074318710280201 https://twitter.com/karlicoss/status/1379071209153904640