Enable coq module

2020-09-05 19:21:59 +02:00 · 2020-09-05 19:21:59 +02:00 · 9e2214c2f8
parent e30a19024d
commit 9e2214c2f8
1 changed files with 1 additions and 1 deletions
--- 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