diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html index 1644c88..97dc25e 100644 --- a/docs/index.html +++ b/docs/index.html @@ -112,6 +112,17 @@ in std/Number/Unary.bruijn:35 Learn more: <a href="https://github.com/marvinborner/bruijn/tree/main/editors">GitHub</a> </div> + <div class="instructions"> + <h1>Why?</h1> + <ul> + <li>Compiled binary lambda calculus is incredibly expressive and tiny. Read the articles by <a href="https://justine.lol/lambda/#why">Justine</a> and <a href="https://tromp.github.io/cl/cl.html">Tromp</a>.</li> + <li>Exploring different encodings of data as function abstractions is fascinating.</li> + <li>Pure lambda calculus can be very beautiful. You will understand if you try to have some fun with it.</li> + <li>I don't like naming parameters of functions. Using bruijn indices is a universal reference independent of the function and can actually help readability if you're familiar enough.</li> + <li>Really, <a href="https://justforfunnoreally.dev/">just for fun</a>.</li> + </ul> + </div> + <div class="bar big"> Standard library: <a href="std/">Docs</a> </div> |