git clone https://github.com/aminb/dotfiles ~/.emacs.d
cd ~/.emacs.d
make bootstrap-borg
-make tangle-init
make bootstrap
make build
#+end_src
(set-fontset-font
ft
'unicode
- (font-spec
- :name "Hack")
+ (font-spec :name "DejaVu Sans Mono")
nil
'append)
+ ;; (set-fontset-font
+ ;; ft
+ ;; 'unicode
+ ;; (font-spec
+ ;; :name "Symbola monospacified for DejaVu Sans Mono")
+ ;; nil
+ ;; 'append)
+ ;; (set-fontset-font
+ ;; ft
+ ;; #x2115 ; ℕ
+ ;; (font-spec :name "DejaVu Sans Mono")
+ ;; nil
+ ;; 'append)
(set-fontset-font
ft
- 'unicode
- (font-spec
- :name "Symbola monospacified for DejaVu Sans Mono")
+ (cons ?Α ?ω)
+ (font-spec :name "DejaVu Sans Mono" :size 14)
nil
- 'append))
+ 'prepend))
#+end_src
* Core
* Programming modes
-** Lean mode
+** [[https://github.com/leanprover/lean-mode][Lean]]
#+begin_src emacs-lisp
(use-package lean-mode
("S-SPC" . company-complete)))
#+end_src
+** Haskell
+
+*** [[https://github.com/haskell/haskell-mode][haskell-mode]]
+
+#+begin_src emacs-lisp
+(use-package haskell-mode
+ :config
+ (setq haskell-indentation-layout-offset 4
+ haskell-indentation-left-offset 4
+ haskell-indentation-ifte-offset 4))
+#+end_src
+
+*** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
+
+Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
+executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
+
+#+begin_src emacs-lisp
+(use-package hlint-refactor
+ :bind (:map hlint-refactor-mode-map
+ ("C-c l b" . hlint-refactor-refactor-buffer)
+ ("C-c l r" . hlint-refactor-refactor-at-point))
+ :hook (haskell-mode . hlint-refactor-mode))
+#+end_src
+
* Post initialization
:PROPERTIES:
:CUSTOM_ID: post-initialization