From 27184406eb984ca746048c9f81f5c40ff844b586 Mon Sep 17 00:00:00 2001 From: Max Willsey Date: Tue, 13 Feb 2024 08:49:40 -0800 Subject: [PATCH] Update readme --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index bfc0148a..df5b13aa 100644 --- a/README.md +++ b/README.md @@ -5,11 +5,11 @@ [![Main branch docs](https://img.shields.io/badge/docs-main-blue)](https://egraphs-good.github.io/egg/egg/) [![Zulip](https://img.shields.io/badge/zulip-join%20chat-blue)](https://egraphs.zulipchat.com) -Also check out the [egglog](https://github.com/egraphs-good/egglog) +> Also check out the [egglog](https://github.com/egraphs-good/egglog) system that provides an alternative approach to equality saturation based on Datalog. -It features a language-based design, incremental execution, and composable analyses. -See also the [paper](//mwillsey.com/papers/egglog) and the [web demo](https://egraphs-good.github.io/egglog). + It features a language-based design, incremental execution, and composable analyses. + See also the [paper](//mwillsey.com/papers/egglog) and the [egglog web demo](https://egraphs-good.github.io/egglog). Are you using egg? Please cite using the BibTeX below and @@ -39,7 +39,7 @@ Please cite using the BibTeX below and -Check out the [web demo](https://egraphs-good.github.io/egg-web-demo) for some quick e-graph action! +Check out the [egg web demo](https://egraphs-good.github.io/egg-web-demo) for some quick e-graph action! ## Using egg