A friend of me implemented a lambda evaluator that he used to teach various concepts in the lambda calculus (https://srtobi.github.io/lambda/docs/ https://srtob

A friend of me implemented a lambda evaluator that he used to teach various concepts in the lambda calculus (https://srtobi.github.io/lambda/docs/ https://srtobi.github.io/lambda/docs/). You can find examples here: https://github.com/SrTobi/lambda/blob/master/stddef/stddef.lambda https://github.com/SrTobi/lambda/blob/master/stddef/stddef.l...