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