Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Why do you think that https://github.com/AndrasKovacs/elaboration-zoo is a good alternative to lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Why do you think that https://github.com/AndrasKovacs/elaboration-zoo is a good alternative to lambda-calculus-hs