From 10a1e46bf5b2e36d121dd935bd25ce919054ed3e Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Wed, 29 Aug 2018 11:03:28 +0200
Subject: [PATCH] Added deft and coq modules

---
 init.example.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/init.example.el b/init.example.el
index 87b2429d7..325d5ec37 100644
--- 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