Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@wrwills
Created December 21, 2010 15:55
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save wrwills/750101 to your computer and use it in GitHub Desktop.
Save wrwills/750101 to your computer and use it in GitHub Desktop.
abbrevs for working with scalaz unicode in emacs; put in .emacs or M-x eval-region in scratch; and then allow to be saved on exit; activate with M-x abbrev-mode
(define-abbrev-table 'global-abbrev-table '(
("alpha" "α" nil 0)
("beta" "β" nil 0)
("gamma" "γ" nil 0)
("theta" "θ" nil 0)
("inf" "∞" nil 0)
("|@|" " ⊛" nil 0)
("forever" "∞" nil 0)
("jjoin" "μ" nil 0)
("cojoin" "υ" nil 0)
("copure" "ε" nil 0)
("comap" "∙" nil 0)
("mmap" "∘" nil 0)
("ppure" "η" nil 0)
("kleisli" "☆" nil 0)
("cokleisli" "★" nil 0)
("dual" "σ" nil 0)
("equal" "≟" nil 0)
("notequal" "≠" nil 0)
("sum" "∑" nil 0)
("aany" "∃" nil 0)
("aall" "∀" nil 0)
("ttraverse" "↦" nil 0)
("ar1" "→" nil 0)
("ar2" "⇒" nil 0)
("ppure" "η" nil 0)
))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment