 (use-package ensime
   :ensure t)
 
+;; CoffeeScript
+
+(use-package coffee-mode
+  :config (progn
+	    (setq coffee-tab-width 4)
+	   )
+  :ensure t)
+
+(provide 'init)
+
 ;; Idris
 
 (use-package idris-mode
-  :ensure t)
+  :init (progn
+	  (setq idris-mode-path "~/idris/Idris-dev/.cabal-sandbox/bin"))
+  :ensure t)
+
+;; Proof General
+
+;; Requires proof general installation
+(use-package proof-site
+  :init (progn
+	  (setq proof-splash-display-screen nil)
+	  (setq proof-script-fly-past-comments t)
+	  ))
+
+;; Coq
+
+(use-package company-coq
+  :ensure t)
+
+;;; init.el ends here

(use-package evil
  :ensure t
  :init (progn
	    (setq evil-want-C-u-scroll t)
	    (setq evil-want-C-w-delete t)
	  )
  :config (progn 
	    (evil-mode 1)
		     ))

(use-package evil-leader
  :ensure t
  :config (progn
	    (evil-leader/set-leader "<SPC>")
	    (evil-leader/set-key
	      "s" 'ghc-case-split
	      "c" 'comment-or-uncomment-region
	      "a" 'align-regexp)
	    (global-evil-leader-mode)))

;;;;;;;;;;;;;;;;

;;; init --- My init file


;;; Commentary:
; This is just to shut flycheck up

;;; Code:

;;;;;;;;;;;;;;;;
;; Annoyances ;;
;;;;;;;;;;;;;;;;
