/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 text.marvinborner.de
The bruijn Programming Language
| | backdrifting.net
Lambda Calculus: A gentle introduction and broader context
2.8 parsecs away

Travel
| | Lambda Calculus: A gentle introduction and broader context
| | tromp.github.io
John's Combinatory Logic Playground
2.0 parsecs away

Travel
| |
| | argumatronic.com
argumatronic - The Nesting Instinct
2.3 parsecs away

Travel
| | Occasional writings about Haskell.
| | serokell.io
How Dependent Haskell Can Improve Industry Projects
22.5 parsecs away

Travel
| In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase.