Explore >> Select a destination


You are here

tromp.github.io
| | deniskyashif.com
3.4 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | text.marvinborner.de
2.1 parsecs away

Travel
| | The bruijn programming language is pure lambda calculus with some syntactic improvements. It doesn't have any primitive functions - how is that possible?
| | afnan.io
2.4 parsecs away

Travel
| | [AI summary] The author explains the basics of lambda calculus, a theoretical model of computation invented by Alonzo Church that serves as the foundation for functional programming languages.
| | cronokirby.com
18.3 parsecs away

Travel
| - Read more: https://cronokirby.com/posts/2021/01/making-an-io/