emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Added deft and coq modules

Browse source
This commit is contained in:
Patrick Elliott 2018-08-29 11:03:28 +02:00
parent cab0ee33d1
commit 10a1e46bf5
No known key found for this signature in database
GPG key ID: 7CA109C3974AF5FA
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
init.example.el
View file

@ -24,6 +24,7 @@
; +fuzzy) ; enable fuzzy search backend for ivy ; +fuzzy) ; enable fuzzy search backend for ivy
:ui :ui
;deft ; notational velocity for Emacs
doom ; what makes DOOM look the way it does doom ; what makes DOOM look the way it does
doom-dashboard ; a nifty splash screen for Emacs doom-dashboard ; a nifty splash screen for Emacs
doom-modeline ; a snazzy Atom-inspired mode-line doom-modeline ; a snazzy Atom-inspired mode-line
@ -81,6 +82,7 @@
;(cc +irony +rtags); C/C++/Obj-C madness ;(cc +irony +rtags); C/C++/Obj-C madness
;clojure ; java with a lisp ;clojure ; java with a lisp
;common-lisp ; if you've seen one lisp, you've seen them all ;common-lisp ; if you've seen one lisp, you've seen them all
;coq ; proofs-as-programs
;crystal ; ruby at the speed of c ;crystal ; ruby at the speed of c
;csharp ; unity, .NET, and mono shenanigans ;csharp ; unity, .NET, and mono shenanigans
data ; config/data formats data ; config/data formats