From 9e2214c2f816c95aee02f9ff722034c6a433e2a2 Mon Sep 17 00:00:00 2001
From: Antoine Martin <antoine97.martin@gmail.com>
Date: Sat, 5 Sep 2020 19:21:59 +0200
Subject: [PATCH] Enable coq module

---
 init.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.el b/init.el
index 619eaab..f7412e5 100644
--- a/init.el
+++ b/init.el
@@ -109,7 +109,7 @@
        cc                ; 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
+       coq               ; proofs-as-programs
        ;;crystal           ; ruby at the speed of c
        ;;csharp            ; unity, .NET, and mono shenanigans
        ;;data              ; config/data formats