mvhutz/lambda
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases Wiki Activity
72 Commits 4 Branches 0 Tags
6436d1e0b83ada91e1b0cf0b5e9045a65a45363b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
M.V. Hutz 6436d1e0b8 feat: add issue templates for Gitea 
Added three issue templates to improve issue tracking:
- Feature request template for new features and enhancements.
- Bug report template for reporting bugs and unexpected behavior.
- General issue template for issues that don't fit other categories.

Templates follow Gitea best practices with proper frontmatter metadata.
Each template includes clear sections with inline comments to guide users.

Updated CLAUDE.md with issue management and workflow documentation.

Closes #21

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
2026-01-12 20:40:25 -05:00
.gitea
feat: add issue templates for Gitea
2026-01-12 20:40:25 -05:00
cmd/lambda
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
docs
feat: progress
2026-01-10 11:37:18 -05:00
internal
feat: improve reduction algorithm with LIFO-based iterator (#15)
2026-01-12 02:16:07 +00:00
pkg
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
tests
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
.gitignore
feat: improve reduction algorithm with LIFO-based iterator (#15)
2026-01-12 02:16:07 +00:00
.golangci.yml
feat: tokenizer accepts braces, line terminator, and equal sign
2025-12-27 19:52:18 -05:00
CLAUDE.md
feat: add issue templates for Gitea
2026-01-12 20:40:25 -05:00
go.mod
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
go.sum
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
LICENSE
Initial commit
2025-12-22 21:09:00 +00:00
Makefile
Improve testing infrastructure with dynamic discovery and validation (#20)
2026-01-13 01:20:47 +00:00
README.md
feat: added links
2025-12-29 19:28:45 -05:00

README.md

lambda

Making a lambda calculus interpreter 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 863 KiB
Languages
Go 96.6%
Makefile 3.4%