From ddadb33e5cdd8be886a8130222c46dabc084e83c Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 26 Feb 2023 15:24:15 +0100 Subject: Docs improvements --- docs/content.css | 2 +- docs/content.template | 2 +- docs/index.html | 11 +++++++++++ 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 @@ - bruijn std/ + bruijn std/NAME

NAME

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: GitHub +

Why?

Compiled binary lambda calculus is incredibly expressive and tiny. Read the articles by Justine and Tromp.
Exploring different encodings of data as function abstractions is fascinating.
Pure lambda calculus can be very beautiful. You will understand if you try to have some fun with it.
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.
Really, just for fun.

Standard library: Docs

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; } -- cgit v1.2.3