diff options
author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /documentation/bookmark/optimization/rewrite_rules.md | |
parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'documentation/bookmark/optimization/rewrite_rules.md')
-rw-r--r-- | documentation/bookmark/optimization/rewrite_rules.md | 6 |
1 files changed, 6 insertions, 0 deletions
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) + |