diff options
| author | Marvin Borner | 2023-05-29 11:35:34 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-05-31 11:15:29 +0200 |
| commit | 5a7e7199354a5b6711eeafd384f643ec4e7dc842 (patch) | |
| tree | ec9dffc65dd879cd94ac7c5706ade8ae697164f4 | |
| parent | aa3f7f71185b6b3495736c8af756171c28bed729 (diff) | |
SEO
| -rw-r--r-- | docs/index.html | 3 | ||||
| -rw-r--r-- | docs/style.css | 6 | ||||
| -rw-r--r-- | readme.md | 4 |
3 files changed, 10 insertions, 3 deletions
diff --git a/docs/index.html b/docs/index.html index 71303b6..3303ffc 100644 --- a/docs/index.html +++ b/docs/index.html @@ -3,8 +3,9 @@ <head> <meta charset="UTF-8" /> <meta name="viewport" content="width=device-width" /> + <meta name="description" content="Functional programming language based on pure bruijn-indexed lambda calculus." /> <link rel="stylesheet" href="style.css" type="text/css" media="all"> - <title>bruijn</title> + <title>bruijn programming language</title> </head> <body> <div class="header"> diff --git a/docs/style.css b/docs/style.css index dfee81e..472b212 100644 --- a/docs/style.css +++ b/docs/style.css @@ -53,6 +53,12 @@ a { margin: 0 auto; } +@media(max-width: 768px) { + body { + font-size: 1.1em; + } +} + @media(min-width: 768px) { .example { flex-flow: row nowrap; @@ -11,7 +11,7 @@ bruijn [Jump to examples](#Examples) or use the navigation tree to jump to other sections. -Docs, examples and more: [website](https://bruijn.marvinborner.de). +Docs, articles, examples and more: [website](https://bruijn.marvinborner.de). ## Features @@ -19,7 +19,7 @@ Docs, examples and more: [website](https://bruijn.marvinborner.de). α-equivalence and α-conversion - Unique **bracket-style representation** for lambda abstractions enables improved human-readability and faster syntactic perception -- **Call-by-need** reduction with mostly linear time/memory complexity +- **Call-by-need** reduction with great time/memory complexity by using the RKNL[\[4\]](#References) abstract machine (similar to [calm](https://github.com/marvinborner/calm/)) - **Syntactic sugar** for unary/binary/ternary numerals and |