Skip to content

Commit

Permalink
Add somet other lambda prettifiers
Browse files Browse the repository at this point in the history
This is a bit messy, do this per mode and a bit more careful.
  • Loading branch information
mrvdb committed Jan 11, 2023
1 parent 7c2b86c commit 3b3dcab
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion mrb.org
Original file line number Diff line number Diff line change
Expand Up @@ -3650,12 +3650,14 @@ Make our source look a bit more attractive by enabling =prettify-symbol-mode= in
org-mode org-journal-mode) . mrb/prettify-symbols)
:init

;; TODO this is a bit messy, do this in mode packages and per mode
(defun mrb/prettify-symbols ()
(interactive)
;; set buffer local variable to map the symbols
(setq prettify-symbols-alist
'(("lambda" . ?λ)
("lambda*" . "λ*")
("lambda*" . (?λ (Br . Bl) ?*)) ; just in scheme really
("-lambda" . (?- (Br . Bl) ?λ))
;("map" . ?↦) ; this one is a bit of a pain actually
("->" . ?⟶)
("<-" . ?⟵)
Expand Down

0 comments on commit 3b3dcab

Please sign in to comment.