ec9c18b832
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
12 lines
317 B
EmacsLisp
12 lines
317 B
EmacsLisp
;;; 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)
|