Skip to content

Instantly share code, notes, and snippets.

@egisatoshi
Last active August 4, 2017 01:22
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 egisatoshi/c353e4dbec72d48c5398982d291a1a1d to your computer and use it in GitHub Desktop.
Save egisatoshi/c353e4dbec72d48c5398982d291a1a1d to your computer and use it in GitHub Desktop.
emacs seting for Egison
;; Egison mode
(load-file "~/egison/elisp/egison-mode.el")
(autoload 'egison-mode "egison-mode" "Major mode for editing Egison code." t)
(setq auto-mode-alist
(cons `("\\.egi$" . egison-mode) auto-mode-alist))
(load-file "~/elisp/xah-math-input/xah-math-input.el")
(global-set-key "\C-q" 'xah-math-input-change-to-symbol)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment