From e3d0c9811c9a23f36dd05ea690d5ac509ffc509e Mon Sep 17 00:00:00 2001 From: hatoo Date: Wed, 6 Dec 2023 21:53:04 +0900 Subject: [PATCH] Fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9829839..3f77985 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ A language server and VScode extension for [egglog](https://github.com/egraphs-g - [x] Press F8 to desugar egglog file - [x] Press F9 to run egglog file with `--to-dot` and show dot file - [x] Syntax highlighting -- [x] Prser Diagnostics +- [x] Parser Diagnostics - [x] Formatting - [x] Hover - [x] Definition