/explore
|
You are here 
|
www.oranlooney.com | ||
| | | | |
github.com
|
|
| | | | | Playing around with different Y Combinator implementations - calincru/Y-Combinator | |
| | | | |
mvanier.livejournal.com
|
|
| | | | | or: How to Succeed at Recursion Without Really Recursing Tiger got to hunt, Bird got to fly; Lisper got to sit and wonder, (Y (Y Y))? Tiger got to sleep, Bird got to land; Lisper got to tell himself he understand. Kurt Vonnegut, modified by Darius Bacon Introduction... | |
| | | | |
text.marvinborner.de
|
|
| | | | | The bruijn programming language is pure lambda calculus with some syntactic improvements. It doesn't have any primitive functions - how is that possible? | |
| | | | |
aartaka.me
|
|
| | | Lambda Calculus is a fascinating idea, but it's not immediately obvious. In this post, I'm trying to understand and explain the basic terms used in Lambda Calculus. | ||
