3 ms·
There are several games and other online resources for learning lambda calculus and combinators: For kids: http://worrydream.com/AlligatorEggs/ http://worrydre
by vcdimension 3y ago
There are several games and other online resources for learning lambda calculus and combinators:
For kids: http://worrydream.com/AlligatorEggs/ http://worrydream.com/AlligatorEggs/
and: https://metatoys.org/alligator/ https://metatoys.org/alligator/
A lambda calculus calculator: https://lambster.dev/ https://lambster.dev/
A tetris style game for learning combinators: https://dirk.rave.org/combinatris/ https://dirk.rave.org/combinatris/
- tromp 3y agoThe International Obfuscated C Code Contest also features a lambda calculus interpreter [0] with corresponding hint file [1]. [0] https://www.ioccc.org/2012/tromp/tromp.c https://www.ioccc.org/2012/tromp/tromp.c [1] https://www.ioccc.org/2012/tromp/hint.html https://www.ioccc.org/2012/tromp/hint.html