From 5a7e7199354a5b6711eeafd384f643ec4e7dc842 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 29 May 2023 11:35:34 +0200
Subject: SEO
---
docs/index.html | 3 ++-
docs/style.css | 6 ++++++
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;
diff --git a/readme.md b/readme.md
index 2a38695..2b3655e 100644
--- a/readme.md
+++ b/readme.md
@@ -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
--
cgit v1.2.3