mvhutz/lambda
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases Wiki Activity
92 Commits 5 Branches 0 Tags
654c38cc9ce077917eb3b1f2d7b2e65c4333e8b4
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%