Go to file

feat: rename --from/--to flags to --input/--output with short aliases

Rename the representation flags for clarity and add short aliases:
- `--from` becomes `--input` / `-i`
- `--to` becomes `--output` / `-o`

2026-02-06 23:31:30 -05:00

.gitea

refactor: rename interpreter to runtime and use receiver methods (#39 )

2026-01-18 20:52:34 +00:00

cmd/lambda

feat: rename --from/--to flags to --input/--output with short aliases

2026-02-06 23:31:30 -05:00

docs

feat: progress

2026-01-10 11:37:18 -05:00

internal

refactor: rewrite CLI and internal architecture (#41 )

2026-02-07 03:25:32 +00:00

pkg

refactor: rewrite CLI and internal architecture (#41 )

2026-02-07 03:25:32 +00:00

tests

refactor: make lambda expression types immutable (#38 )

2026-01-17 22:00:54 +00:00

.gitignore

feat: improve reduction algorithm with LIFO-based iterator (#15 )

2026-01-12 02:16:07 +00:00

.golangci.yml

refactor: rewrite CLI and internal architecture (#41 )

2026-02-07 03:25:32 +00:00

CLAUDE.md

refactor: move event system to reducer, remove engine package (#32 )

2026-01-17 00:27:36 +00:00

go.mod

refactor: rewrite CLI and internal architecture (#41 )

2026-02-07 03:25:32 +00:00

go.sum

refactor: rewrite CLI and internal architecture (#41 )

2026-02-07 03:25:32 +00:00

LICENSE

refactor: rename interpreter to runtime and use receiver methods (#39 )

2026-01-18 20:52:34 +00:00

Makefile

refactor: rewrite CLI and internal architecture (#41 )

2026-02-07 03:25:32 +00:00

README.md

refactor: rename interpreter to runtime and use receiver methods (#39 )

2026-01-18 20:52:34 +00:00

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