Skip to content

Instantly share code, notes, and snippets.

@Kraks

Kraks/.emacs

Created March 15, 2020 19:17
Show Gist options
  • Save Kraks/853c3a46da5fa33f0de10ce16cc702f4 to your computer and use it in GitHub Desktop.
Save Kraks/853c3a46da5fa33f0de10ce16cc702f4 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
.emacs
;; Use Melpa
(require 'package)
(custom-set-variables
;; custom-set-variables was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
'(custom-safe-themes
(quote
("fa2b58bb98b62c3b8cf3b6f02f058ef7827a8e497125de0254f56e373abee088" default)))
'(package-archives
(quote
(("gnu" . "http://elpa.gnu.org/packages/")
("melpa" . "http://melpa.org/packages/"))))
'(package-selected-packages
(quote
(neotree company-coq company spacemacs-theme monokai-theme rainbow-delimiters dashboard haskell-mode racket-mode proof-general scala-mode sml-mode undo-tree)))
'(show-paren-mode t))
(package-initialize)
(eval-when-compile
(require 'use-package))
;; Enable Evil mode
(setq evil-want-abbrev-expand-on-insert-exit nil)
(add-to-list 'load-path "~/.emacs.d/evil")
(require 'evil)
(evil-mode 1)
;; Enable line numbers globally
(global-linum-mode t)
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate")))
;; Enable Agda mode
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate")))
(put 'downcase-region 'disabled nil)
;; Use Deneburn theme
;(use-package doneburn-theme
; :ensure t
; :config (load-theme 'doneburn 'no-confirm))
(load-theme 'spacemacs-light t)
;; Enable Dashboard
(use-package dashboard
:ensure t
:config
(dashboard-setup-startup-hook))
(setq inhibit-startup-screen t)
(global-hl-line-mode +1)
(setq proof-shrink-windows-tofit nil)
;; (custom-set-faces
;; ;; custom-set-faces was added by Custom.
;; ;; If you edit it by hand, you could mess it up, so be careful.
;; ;; Your init file should contain only one such instance.
;; ;; If there is more than one, they won't work right.
;; '(default ((t (:family "Source Code Pro for Powerline"
;; :foundry "ADBO"
;; :slant normal
;; :weight normal
;; :height 130
;; :width normal)))))
;; default to mononoki
(set-face-attribute 'default nil
:family "mononoki"
;:family "DejaVu Sans Mono"
;:family "Source Code Pro for Powerline"
:height 145
:weight 'normal
:width 'expanded
)
(add-hook 'scale-mode-hook #'rainbow-delimiters-mode)
(add-hook 'sml-mode-hook #'rainbow-delimiters-mode)
(add-hook 'scheme-mode-hook #'rainbow-delimiters-mode)
(add-hook 'racket-mode-hook #'rainbow-delimiters-mode)
;; scroll one line at a time (less "jumpy" than defaults)
(setq mouse-wheel-scroll-amount '(1 ((shift) . 1))) ;; one line at a time
;; (setq mouse-wheel-progressive-speed nil) ;; don't accelerate scrolling
(setq mouse-wheel-follow-mouse 't) ;; scroll window under mouse
(setq scroll-step 1) ;; keyboard scroll one line at a time
;; SML-mode indentation
(setq sml-indent-level 2)
(require 'agda-input)
(require 'neotree)
(global-set-key [f8] 'neotree-toggle)
;; Load company-coq when opening Coq files
(add-hook 'coq-mode-hook #'company-coq-mode)
(custom-set-faces
;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment