Twelf Lang

yaene

|
47 installs
| (1) | Free
(Very very basic) Syntax highlighting for Twelf
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info