diff options
| author | Marvin Borner | 2024-03-15 17:24:22 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-15 17:24:22 +0100 |
| commit | 65a094a4ee67f16ff5ed7663c2b3dd6d85c19c00 (patch) | |
| tree | a714254a4028a05dbac8f716e95bb5a9df5af6ca /docs/wiki_src/technical/performance.md | |
| parent | 0b77800262b5c46d994e6cb6159f773de8a05c51 (diff) | |
Initial working optimization stage
Diffstat (limited to 'docs/wiki_src/technical/performance.md')
| -rw-r--r-- | docs/wiki_src/technical/performance.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/wiki_src/technical/performance.md b/docs/wiki_src/technical/performance.md index 709affe..ce3cca0 100644 --- a/docs/wiki_src/technical/performance.md +++ b/docs/wiki_src/technical/performance.md @@ -11,6 +11,7 @@ comparable as possible: - Bruijn uses efficient data structures by default. For example, for nary numbers we use results of Torben Mogensens investigations (as described in [number/byte encodings](../coding/data-structures.md)). +- Bruijn has a `-O` flag that enables abstraction of duplicated terms - The lambda calculus optimizers [BLoC](https://github.com/marvinborner/bloc) and [BLoCade](https://github.com/marvinborner/blocade) are directly |