Try to update syntax highlighting

effekt-lang / effekt-website

Website of the Effekt programming language

https://effekt-lang.github.io/effekt-website

MIT License

4 stars 6 forks source link

Open jiribenes opened 4 months ago

jiribenes commented 4 months ago

[!WARNING] This has NOT been tested!

In sync with https://github.com/effekt-lang/effekt-vscode/pull/18, let's try to update the syntax files a little bit. Here I attempted to keep things mostly as they are, remove extremely outdated parts and port (at least some of) the changes from https://github.com/effekt-lang/effekt-vscode/pull/18.

Also, sorry for the wrong push in 8927cc8. 🙏

jiribenes commented 2 months ago

Hey @dvdvgt, if you get some time, could you just try if this highlighting looks okay to you on your local website build?

jiribenes commented 2 months ago

I tried fixing the two outlined things, PTAL. 🙏