To use clone/copy this repo to the "Users//.vscode/extensions/" folder.
For more pretty code look try using one of the ligatured fonts (e.g. Fira Code, Hasklig, etc.) - you can enable ligatures in VSCode settings - or/and Prettify Symbols Mode extension.
SCs language support.
- Syntax coloring.
- Code snippets.
None for now.
None for now.
If using ligatured font (Fira Code, Hasklig, etc.) you'll have ⇐ symbol treated as ⩽. To avoid this either disable ligatures in VS Code settings, or use Prettify Symbols Mode extension with following settings for substitutions:
"prettifySymbolsMode.substitutions": [
"language": "scs",
"substitutions": [
{
"ugly": "<=",
"pretty": "⇐"
},
{
"ugly": "=>",
"pretty": "⇒"
}
]
]
P.S.: There could be also some troubles with ⇒ symbol (no ligature for it) so there is a substitution for it too.
Initial release: just SCs syntax coloring and some braces configuration.
Some snippets added.
Enjoy!