No syntax highlighting?

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

165 stars 37 forks source link

Open bzm3r opened 1 year ago

bzm3r commented 1 year ago

I just installed agda-mode in VS Code, but I am not getting any syntax highlighting:

Why is this?

L-TChen commented 10 months ago

The latest version v0.4.1 works fine for me. Can you still reproduce the issue?