Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
hatoo committed Dec 6, 2023
1 parent 17b0ae9 commit e3d0c98
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit e3d0c98

Please sign in to comment.