Merge pull request #849 from patrl/initUpdate

init.example.el update
2018-08-31 03:33:16 +02:00 · 2018-08-31 03:33:16 +02:00 · 25ef67d01b
commit 25ef67d01b
parent dd2e7c63a5 10a1e46bf5
1 changed files with 2 additions and 0 deletions
--- a/init.example.el
+++ b/init.example.el
@ -24,6 +24,7 @@
      ; +fuzzy)          ; enable fuzzy search backend for ivy

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