From 65a094a4ee67f16ff5ed7663c2b3dd6d85c19c00 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 15 Mar 2024 17:24:22 +0100
Subject: Initial working optimization stage

---
 docs/wiki_src/technical/performance.md | 1 +
 1 file changed, 1 insertion(+)

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

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
-- 
cgit v1.2.3