spacemacs/layers/+lang/idris/config.el

;;; config.el --- Idris Layer config File for Spacemacs
;;
;; Copyright (c) 2012-2016 Sylvain Benner & Contributors
;;
;; Author: Timothy Jones <git@zmthy.io>
;; URL: https://github.com/syl20bnr/spacemacs
;;
;; This file is not part of GNU Emacs.
;;
;;; License: GPLv3

(spacemacs|defvar-company-backends idris-mode)
(spacemacs|defvar-company-backends idris-repl-mode)
Improve idris support Squashing the 3 commits of #5688: Commit 1 -------- Add prefix doc in idris layer Also remove `idris-ensure-process-and-repl-buffer` as this is not an interactive command Add `SPC m l` keybinding for extracting lemma Bind `SPC m c` to `idris-case-dwim` Commit 2 -------- Fix registering idris repl Commit 3 -------- Add basic auto-completion for idris mode 2016-04-05 16:23:26 +00:00			`;;; config.el --- Idris Layer config File for Spacemacs`
			`;;`
			`;; Copyright (c) 2012-2016 Sylvain Benner & Contributors`
			`;;`
			`;; Author: Timothy Jones <git@zmthy.io>`
			`;; URL: https://github.com/syl20bnr/spacemacs`
			`;;`
			`;; This file is not part of GNU Emacs.`
			`;;`
			`;;; License: GPLv3`

			`(spacemacs\|defvar-company-backends idris-mode)`
Enable auto-complete in Idris repl Add keybinding to kill Idris process 2016-06-18 05:58:57 +00:00			`(spacemacs\|defvar-company-backends idris-repl-mode)`