untyped-lambda-calculus topic
List
untyped-lambda-calculus repositories
StepULC
15
Stars
1
Forks
Watchers
Efficient and single-steppable ULC evaluation algorithm
