ucsd-progsys/elsa

Elsa is a lambda calculus evaluator

Haskell

192

104 commits

updated Oct 5, 2025

See the code
haskell
haskell-learning
lambda-calculus
reduction

Contributors

ranjitjhala

64 commits

JRB-Prod-UVA

18 commits

jevancc

6 commits

justinyaodu

4 commits

Languages

Haskell

100.0%

ucsd-progsys/elsa

Elsa is a lambda calculus evaluator

Haskell

192

104 commits

updated Oct 5, 2025

See the code
haskell
haskell-learning
lambda-calculus
reduction

Contributors

ranjitjhala

64 commits

JRB-Prod-UVA

18 commits

jevancc

6 commits

justinyaodu

4 commits

Languages

Haskell

100.0%