Introduction Here I’ve written and uploaded a great deal of untyped Lambda Calculus functions, and will continue to expand upon them quite regularly. I’d like to try and get deep enough into the arithmetic of integers to be to be able to perform some introductory geometry, but I hope to take it much much further. […]