From 1f7231153c172500f1073ddb22ec911379f83a07 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Nov 2023 18:50:35 +0100
Subject: Improved wiki and reduced readme

---
 docs/wiki_src/technical/reduction.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'docs/wiki_src/technical/reduction.md')

diff --git a/docs/wiki_src/technical/reduction.md b/docs/wiki_src/technical/reduction.md
index e69de29..97bd78f 100644
--- a/docs/wiki_src/technical/reduction.md
+++ b/docs/wiki_src/technical/reduction.md
@@ -0,0 +1,12 @@
+# Reduction
+
+Bruijn uses the RKNL abstract machine reducer[^1]. RKNL uses the
+call-by-need reduction strategy, similar to Haskell and other functional
+programming languages. For you this means that you have efficient
+support for [laziness](../coding/laziness.md) with generally less
+redundant reductions.
+
+[^1]: [Biernacka, Małgorzata, Witold Charatonik, and Tomasz Drab. "A
+    simple and efficient implementation of strong call by need by an
+    abstract machine." Proceedings of the ACM on Programming Languages
+    6.ICFP (2022): 109-136.](https://doi.org/10.5281/zenodo.6786796)
-- 
cgit v1.2.3