github/dotfiles
1
0
Fork 0
mirror of https://github.com/correl/dotfiles.git synced 2024-11-16 11:09:29 +00:00
Code Issues Projects Releases Packages Wiki Activity

[emacs] Add Idris support

Browse source
This commit is contained in:
Correl Roush 2018-01-04 19:41:28 -05:00
parent 39d5423a46
commit 80d6483c3a
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
.emacs.d/emacs.org
View file

@ -298,6 +298,16 @@ JavaScript.
(add-to-list 'company-backends 'company-elm)) (add-to-list 'company-backends 'company-elm))
#+END_SRC #+END_SRC
*** Idris
A functional language with dependent types.
#+name: programming
#+BEGIN_SRC emacs-lisp
(use-package idris-mode
:ensure t
:mode "\.idr$")
#+END_SRC
*** Web *** Web
**** HTML **** HTML
#+name: programming #+name: programming