Supported Languages #
The following table lists all languages supported by visimp. These can be
enabled using the languages layer. In the table,
entries with peculiar features link to a more detailed explanation.
| Layer name | Language |
|---|---|
agda | Agda |
ampl | AMPL |
bash | Bash |
c | C/C++ |
coq | Coq |
csharp | C# |
css | CSS |
dart | Dart |
gleam | Gleam |
go | Go |
haskell | Haskell |
hcl | HCL |
html | HTML |
idris | Idris |
java | Java |
javascript | JavaScript/TypeScript |
json | JSON |
kotlin | Kotlin |
latex | |
lean | Lean |
lua | Lua |
markdown | Markdown |
nix | Nix |
ocaml | OCaml |
php | PHP |
prolog | (SWI-/GNU-/…)Prolog |
python | Python |
rust | Rust |
svelte | Svelte |
swift | Swift |
toml | TOML |
typst | Typst |
vue | Vue |