mvhutz/lambda
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases Wiki Activity
88 Commits 5 Branches 0 Tags
8b80cea32b5add0076f8b7e0f2a6fa1e873ef9dd
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

lambda

Making a lambda calculus runtime in Go.

Things to talk about

  • Exhaustive sum types.
  • Recursive descent and left-recursion.
  • Observer pattern, event emission.

Links

https://zicklag.katharos.group/blog/interaction-nets-combinators-calculus/ https://arxiv.org/pdf/2505.20314

Reference in New Issue View Git Blame Copy Permalink
Description
Making a lambda calculus interpreter in Go.
Readme AGPL-3.0 1 MiB
Languages
Go 97.2%
Makefile 2.8%