Archived

This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.

History

Timothy Jones c55c7c74a4 Add a layer for the Idris language 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.	2015-07-03 18:51:50 -04:00
..
packages.el	Add a layer for the Idris language	2015-07-03 18:51:50 -04:00
README.org	Add a layer for the Idris language	2015-07-03 18:51:50 -04:00

Timothy Jones c55c7c74a4 Add a layer for the Idris language

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.

2015-07-03 18:51:50 -04:00

packages.el

Add a layer for the Idris language

2015-07-03 18:51:50 -04:00

README.org

Add a layer for the Idris language

2015-07-03 18:51:50 -04:00

README.org

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