c55c7c74a4
This removes idris-mode from the extra-langs layer and moves it to its own layer with custom evil-leader keybindings. It also removes documentation in extra-langs on other removed languages. There are two major complications with idris-mode: it defines its own evil-leader bindings which overwrite Spacemacs defaults, and it uses the variable idris-packages, which Spacemacs uses to include the idris-mode package, to define Idris packages to load for the current buffer.
11 lines
213 B
Org Mode
11 lines
213 B
Org Mode
#+TITLE: Extra Languages
|
|
|
|
Adds many more language modes for less common languages, some more niche than others.
|
|
|
|
These include:
|
|
- OpenScad
|
|
- Nix Expressions
|
|
- Nim
|
|
- QML
|
|
- YAML
|
|
- The Wolfram Language / Mathematica
|