jingus/lamb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
basic lambda calculus evaluator and debugger
15 commits 1 branch 0 tags 1.6 MiB
Find a file
Exact
jackjohn7 7406739fcf update README
2026-05-17 00:30:29 -05:00
src replacing known values in output now (pretty sick) 2026-05-17 00:21:54 -05:00
test replacing known values in output now (pretty sick) 2026-05-17 00:21:54 -05:00
.envrc init 2026-05-14 22:59:58 -05:00
.gitignore add test expr and update gitignore 2026-05-16 17:54:08 -05:00
cabal.project init 2026-05-14 22:59:58 -05:00
flake.lock init 2026-05-14 22:59:58 -05:00
flake.nix init 2026-05-14 22:59:58 -05:00
lamb.cabal replacing known values in output now (pretty sick) 2026-05-17 00:21:54 -05:00
README.md update README 2026-05-17 00:30:29 -05:00
test.lm replacing known values in output now (pretty sick) 2026-05-17 00:21:54 -05:00

README.md

Lamb

A (very WIP) lambda expression evaluator and debugger.

I'd like to build the following:

  • parsing with parsec
  • alpha/beta reduction to beta normal
  • substitutions for known abstractions (numbers can be written and are displayed as numbers rather than lambda terms)
    • replace known terms in input
    • replace known terms in output
    • support detection and replacement for generic church numerals (not just 1 and 0 (false))
  • persisted variables
  • display all steps in alpha/beta reductions until beta normal form is reached
  • online web-based lambda playground