diff options
Diffstat (limited to 'Emacs/.config')
| -rw-r--r-- | Emacs/.config/emacs/config.org | 122 |
1 files changed, 51 insertions, 71 deletions
diff --git a/Emacs/.config/emacs/config.org b/Emacs/.config/emacs/config.org index 209c294..b57f841 100644 --- a/Emacs/.config/emacs/config.org +++ b/Emacs/.config/emacs/config.org @@ -1612,8 +1612,8 @@ pretty symbols to eshell. (eshell-mode-hook ("lambda" . "λ") ("numberp" . "ℤ") - ("t" . "⊤") - ("nil" . "∅")) + ("t" . "⊨") + ("nil" . "Ø")) :general (leader "tt" #'+shell/toggle-eshell) @@ -2341,44 +2341,34 @@ opposing style. (c++-mode-hook . auto-fill-mode) :pretty (c-mode-hook - ("puts" . "ℙ") + ("puts" . "φ") ("fputs" . "ϕ") ("printf" . "ω") ("fprintf" . "Ω") - ("->" . "→") - ("NULL" . "∅") - ("true" . "⊤") - ("false" . "⊥") - ("char" . "ℂ") - ("int" . "ℤ") - ("float" . "ℚ") - ("double" . "ℝ") + ("NULL" . "Ø") + ("true" . "⊨") + ("false" . "⊭") ("!" . "¬") - ("&&" . "∧") - ("||" . "∨") + ("&&" . "⋀") + ("||" . "⋁") ("for" . "∀") ("return" . "⟼")) (c++-mode-hook - ("nullptr" . "∅") - ("string" . "𝕊") - ("vector" . "ℓ") - ("puts" . "ℙ") - ("fputs" . "ϕ") - ("printf" . "ω") - ("fprintf" . "Ω") - ("->" . "→") - ("NULL" . "∅") - ("true" . "⊤") - ("false" . "⊥") - ("char" . "ℂ") - ("int" . "ℤ") - ("float" . "ℚ") - ("double" . "ℝ") - ("!" . "¬") - ("&&" . "∧") - ("||" . "∨") - ("for" . "∀") - ("return" . "⟼")) + ("nullptr" . "Ø") + ("string" . "𝕊") + ("vector" . "ℓ") + ("puts" . "φ") + ("fputs" . "ϕ") + ("printf" . "ω") + ("fprintf" . "Ω") + ("NULL" . "Ø") + ("true" . "⊨") + ("false" . "⊭") + ("!" . "¬") + ("&&" . "⋀") + ("||" . "⋁") + ("for" . "∀") + ("return" . "⟼")) :init (setq-default c-basic-offset 2) (setq-default c-default-style '((other . "user"))) @@ -2477,22 +2467,18 @@ feature. :defer t :pretty (csharp-mode-hook - ("null" . "∅") - ("string" . "𝕊") + ("null" . "∅") + ("string" . "𝕊") ("List" . "ℓ") - ("WriteLine" . "ℙ") - ("Write" . "ω") - ("->" . "→") - ("true" . "⊤") - ("false" . "⊥") - ("char" . "ℂ") - ("int" . "ℤ") - ("float" . "ℝ") - ("!" . "¬") - ("&&" . "∧") - ("||" . "∨") - ("for" . "∀") - ("return" . "⟼"))) + ("WriteLine" . "φ") + ("Write" . "ω") + ("true" . "⊨") + ("false" . "⊭") + ("!" . "¬") + ("&&" . "⋀") + ("||" . "⋁") + ("for" . "∀") + ("return" . "⟼"))) #+end_src ** Java I kinda dislike Java, but if necessary I will code in it. Might have @@ -2503,17 +2489,14 @@ Just setup a style and some pretty symbols. :straight nil :pretty (java-mode-hook - ("println" . "ℙ") + ("println" . "φ") ("printf" . "ω") - ("null" . "∅") - ("true" . "⊤") - ("false" . "⊥") - ("char" . "ℂ") - ("int" . "ℤ") - ("float" . "ℝ") + ("null" . "Ø") + ("true" . "⊨") + ("false" . "⊭") ("!" . "¬") - ("&&" . "∧") - ("||" . "∨") + ("&&" . "⋀") + ("||" . "⋁") ("for" . "∀") ("return" . "⟼")) :config @@ -2585,19 +2568,17 @@ Basic, haven't used python in this configuration yet. :straight nil :pretty (python-mode-hook - ("None" . "∅") + ("None" . "Ø") ("list" . "ℓ") ("List" . "ℓ") ("str" . "𝕊") - ("True" . "⊤") - ("False" . "⊥") - ("int" . "ℤ") - ("float" . "ℝ") - ("not" . "¬") - ("and" . "∧") - ("or" . "∨") + ("True" . "⊨") + ("False" . "⊭") + ("!" . "¬") + ("&&" . "⋀") + ("||" . "⋁") ("for" . "∀") - ("print" . "ℙ") + ("print" . "φ") ("lambda" . "λ") ("return" . "⟼") ("yield" . "⟻")) @@ -2667,11 +2648,10 @@ appropriately. :pretty (emacs-lisp-mode-hook ("lambda" . "λ") - ("numberp" . "ℤ") - ("t" . "⊤") - ("nil" . "∅") - ("and" . "∧") - ("or" . "∨") + ("t" . "⊨") + ("nil" . "Ø") + ("and" . "⋀") + ("or" . "⋁") ("defun" . "ƒ") ("for" . "∀") ("mapc" . "∀") |