git clone https://github.com/aminb/dotfiles ~/.emacs.d
cd ~/.emacs.d
make bootstrap-borg
-make tangle-init
make bootstrap
make build
#+end_src
(add-hook
'after-init-hook
(lambda ()
- (let ((elapsed (float-time (time-subtract (current-time)
- ab--before-user-init-time))))
- (message "Loading %s...done (%.3fs) [after-init]"
- user-init-file elapsed))
(setq gc-cons-threshold ab--gc-cons-threshold
gc-cons-percentage ab--gc-cons-percentage
file-name-handler-alist ab--file-name-handler-alist)))
(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
*** [[https://github.com/ch11ng/exwm][EXWM]] (window manager)
-#+begin_src emacs-lisp
+#+begin_src emacs-lisp :tangle no
(use-package exwm
:demand t
:config
:header-args+: :tangle ~/.config/sxhkd/sxhkdrc :mkdirp yes
:END:
-#+begin_src conf
+#+begin_src conf :tangle no
# terminal emulator
super + Return
urxvt
#+begin_src emacs-lisp
(use-package counsel
- :defer 1.5
+ :defer 1
:bind (([remap execute-extended-command] . counsel-M-x)
([remap find-file] . counsel-find-file)
("s-r" . counsel-recentf)
* 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