diff options
| author | Marvin Borner | 2023-12-14 20:14:49 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-12-15 03:04:16 +0100 |
| commit | d22c013e4e74889a82004b05aab1158b98cfafc9 (patch) | |
| tree | 272e33637521ab46fb375be8a72e3b6983755c0b /docs/wiki_src/technical | |
| parent | b572418b4a4f6ba647a9aaed0bd82bfe9189d9a8 (diff) | |
Minor documentation fixes
Diffstat (limited to 'docs/wiki_src/technical')
| -rw-r--r-- | docs/wiki_src/technical/performance.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/wiki_src/technical/performance.md b/docs/wiki_src/technical/performance.md index 05fd683..002a6b8 100644 --- a/docs/wiki_src/technical/performance.md +++ b/docs/wiki_src/technical/performance.md @@ -6,7 +6,7 @@ an extension, bruijn also suffers from bad performance. Bruijn's interpreter works by substituting the entire program into one huge lambda calculus term that will then get reduced by the [reducer](reduction.md). As a result, many equivalent terms get -evaluated multiple times (although some of this get's solved by bruijn's +evaluated multiple times (although some of this is solved by bruijn's call-by-need reduction strategy). We currently work on a solution that reduces all equivalent terms as one, which turns out is not actually that trivial. Follow the [blog](https://text.marvinborner.de) to keep up |