Files
lambda/README.md
2025-12-27 01:18:06 -05:00

144 B

lambda

Making a lambda calculus interpreter in Go.

Things to talk about

  • Exhaustive sum types.
  • Recursive descent and left-recursion.