Human Folly about “lambda-calculus”

index

• Binary lambda calculus (tromp.github.io):

  Tromp’s binary #lambda-calculus #esolang

  on 02025-08-13
• CEK machines (matt.might.net):

  #Introduction to simple, efficient interpreters in #Haskell using the #CEK machine (control, environment, continuation) model of the #lambda-calculus.

  on 02015-08-15