Merge pull request #721 from mdssjc/add-pretty-symbols

Add new symbols.
This commit is contained in:
Henrik Lissner 2018-06-24 17:15:50 +02:00 committed by GitHub
commit 6fcc1203cc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -28,6 +28,7 @@ besides what is listed.")
:lambda "λ" :lambda "λ"
:def "ƒ" :def "ƒ"
:composition "" :composition ""
:map ""
;; Types ;; Types
:null "" :null ""
:true "𝕋" :true "𝕋"
@ -48,7 +49,8 @@ besides what is listed.")
:yield "" :yield ""
;; Other ;; Other
:tuple "" :tuple ""
:pipe "") :pipe ""
:dot "")
"Options plist for `pretty-code-get-pairs'.") "Options plist for `pretty-code-get-pairs'.")
(defvar +pretty-code--iosevka-ligeratures-enabled nil) (defvar +pretty-code--iosevka-ligeratures-enabled nil)