3 ms·
Sometimes I miss doing more mathy work, like I did back at university. So, I decided to spend a little time coding up a Lambda Calculus parser/reducer in Python
by heavyairship 6y ago
Sometimes I miss doing more mathy work, like I did back at university. So, I decided to spend a little time coding up a Lambda Calculus parser/reducer in Python as a side project for fun.
- carapace 6y agoSweet! Check out: https://github.com/PhoenixBureau/TheGeneralProgram/blob/master/museum/church_numerals.py https://github.com/PhoenixBureau/TheGeneralProgram/blob/mast...