Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- https://code.visualstudio.com/docs/extensions/themes-snippets-colorizers
- https://github.com/Microsoft/language-server-protocol/pull/124
- https://github.com/Microsoft/language-server-protocol
- https://github.com/freebroccolo/vscode-agda
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement