/explore
|
You are here 
|
hypirion.com | ||
| | | | |
github.com
Playing around with different Y Combinator implementations - calincru/Y-Combinator |
|
| | | | | ||
| | | | |
willhbr.net
You can use features of tmux to implement a Turing-complete instruction set, allowing you to compile code that runs in tmux by moving windows. I feel like I really have to emphasise this: I'm not running a command-line program in tmux, or using tmux to launch a program. I can get tmux to run real code by switching between windows. Watch a demo of it in action below or on YouTube: This whole mess started when I solved an issue... |
|
| | | | | ||
| | | | |
text.marvinborner.de
This article describes a variadic extension to the default fixed-point combinator namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus). |
|
| | | | | ||
| | | | |
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. |
|
| | | |||
