diff options
| -rw-r--r-- | docs/content.css | 2 | ||||
| -rw-r--r-- | docs/content.template | 2 | ||||
| -rw-r--r-- | docs/index.html | 11 | ||||
| -rw-r--r-- | docs/style.css | 2 |
4 files changed, 14 insertions, 3 deletions
diff --git a/docs/content.css b/docs/content.css index 82ee027..c6d4d5c 100644 --- a/docs/content.css +++ b/docs/content.css @@ -7,7 +7,7 @@ body { font-family: "Iosevka", monospace; background-color: #222222; color: #cccccc; - font-size: 1.2em; + font-size: 1.3em; } a { diff --git a/docs/content.template b/docs/content.template index c19461f..a2d5c6e 100644 --- a/docs/content.template +++ b/docs/content.template @@ -4,7 +4,7 @@ <meta charset="UTF-8" /> <meta name="viewport" content="width=device-width" /> <link rel="stylesheet" href="content.css" type="text/css" media="all"> - <title>bruijn std/</title> + <title>bruijn std/NAME</title> </head> <body> <h1>NAME</h1> 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> diff --git a/docs/style.css b/docs/style.css index 3e50015..dfee81e 100644 --- a/docs/style.css +++ b/docs/style.css @@ -7,7 +7,7 @@ body { font-family: "Iosevka", monospace; background-color: #222222; color: #cccccc; - font-size: 1.2em; + font-size: 1.3em; padding: 0; margin: 0; } |