update: 20210316

config.el

@@ -263,3 +263,19 @@
 ;; Configure Zen mode
 ;; AAutomatically go to full screen mode when activated
  (setq writeroom-fullscreen-effect t)
+
+(setq
+  global-whitespace-mode t
+  whitespace-style '(face tabs tab-mark spaces space-mark trailing lines-tail newline newline-mark)
+  whitespace-display-mappings '(
+    (space-mark   ?\     [?\u00B7]     [?.])
+    (space-mark   ?\xA0  [?\u00A4]     [?_])
+    (newline-mark ?\n    [?¬ ?\n])
+    (tab-mark     ?\t    [?\u00BB ?\t] [?\\ ?\t])))
+
+(global-whitespace-mode +1)
+
+;; Setup spray for reading
+(map! :leader
+      :desc "Change to spray mode"
+      "<f6>" #'spray-mode)

init.el

@@ -114,7 +114,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

packages.el

@@ -51,3 +51,4 @@
 (package! zetteldeft)
 (package! org-roam-server)
 (package! org-super-agenda)
+(package! spray)