From b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Mar 2022 22:45:49 -0400
Subject: Leaner syntax for library/lux/control/exception.report

---
 documentation/bookmark/optimization/rewrite_rules.md | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 documentation/bookmark/optimization/rewrite_rules.md

(limited to 'documentation/bookmark/optimization/rewrite_rules.md')

diff --git a/documentation/bookmark/optimization/rewrite_rules.md b/documentation/bookmark/optimization/rewrite_rules.md
new file mode 100644
index 000000000..84456b9ca
--- /dev/null
+++ b/documentation/bookmark/optimization/rewrite_rules.md
@@ -0,0 +1,6 @@
+# Reference
+
+0. [Rewrite rules](https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/rewrite-rules.html)
+0. https://twitter.com/ChrisRackauckas/status/1477274812460449793
+0. [Automated Code Optimization with E-Graphs](https://arxiv.org/abs/2112.14714)
+
-- 
cgit v1.2.3