ucsd-progsys / elsa

Elsa is a lambda calculus evaluator

ucsd-progsys/elsa Issues

Updated VS Code extension for Elsa
Closed a year ago2
Oddness with normalization?
Closed 2 years ago
Parse error locations
Closed 2 years ago
Check duplicate definition and evaluation identifiers
Closed 4 years ago
alpha-rename enables beta-reduction
Updated 4 years ago
stack install command still running after half an hour?
Closed 5 years ago3
Couldn't match expected type ‘Int’ with actual type ‘Pos’
Closed 5 years ago2
Beta reduction scoping/alphatizing error
Closed 7 years ago2
So I try to run the snippet code from "Overview section" but apparently there is a bug?
Closed 7 years ago5
Recursive definitions?
Closed 7 years ago1