From ba4d0cabf5e4c9ef0cac1bf433092625625b28bd Mon Sep 17 00:00:00 2001
From: Aryadev Chavali <aryadev@aryadevchavali.com>
Date: Tue, 11 Jun 2024 02:43:29 +0100
Subject: (Emacs/config)~change some symbols for common lisp

---
 Emacs/.config/emacs/config.org | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/Emacs/.config/emacs/config.org b/Emacs/.config/emacs/config.org
index db433fa..494a13b 100644
--- a/Emacs/.config/emacs/config.org
+++ b/Emacs/.config/emacs/config.org
@@ -3908,12 +3908,14 @@ A child language of javascript which compiles to it.
 #+end_src
 ** Common Lisp
 Common Lisp is a dialect of Lisp, the most /common/ one around.  Emacs
-comes with builtin Lisp support of course, but a REPL would be nice.
-
+comes with builtin Lisp support, of course, and it's really good in
+comparison to literally everything else.  However, I wish it had a
+better REPL...
 *** Sly
 Enter /SLY/.  Sly is a fork of /SLIME/ and is *mandatory* for lisp
 development on Emacs.
 
+Here I just setup Sly to use ~sbcl~.
 #+begin_src emacs-lisp
 (use-package sly
   :defer t
@@ -3973,10 +3975,14 @@ development on Emacs.
    ("nil"    . "Ø")
    ("and"    . "∧")
    ("or"     . "∨")
+   ("<="     . "≤")
+   (">="     . "≥")
    ("defun"  . "ƒ")
-   ("for"    . "∀")
-   ("mapc"   . "∀")
-   ("mapcar" . "∀"))
+   ("loop"   . "Σ")
+   ("some"   . "∃")
+   ("every"  . "∀")
+   ("mapcar" . "→")
+   ("loop"   . "⇒"))
   (emacs-lisp-mode-hook
    ("lambda" . "λ")
    ("t"      . "⊨")
@@ -3984,9 +3990,7 @@ development on Emacs.
    ("and"    . "∧")
    ("or"     . "∨")
    ("defun"  . "ƒ")
-   ("for"    . "∀")
-   ("mapc"   . "∀")
-   ("mapcar" . "∀"))
+   ("mapcar" . "→"))
   :general
   (:states '(normal motion visual)
    :keymaps '(emacs-lisp-mode-map lisp-mode-map)
-- 
cgit v1.2.3-13-gbd6f