/lean-mode-contrib

Primary LanguageEmacs LispGNU General Public License v3.0GPL-3.0

lean-mode-contrib

Installlation

With Quelpa

If you use Quelpa, add the following to your .emacs or init.el file:

(quelpa '(lean-diff-types :repo "lean-community/lean-mode-contrib" :fetcher github))

Without Quelpa

  1. Copy the files in a directory such as ~/.emacs.d/lisp/
  2. Make sure that directory is in your emacs load-path by putting
(setq load-path (cons "~/.emacs.d/lisp/" load-path))

in your .emacs or init.el file.

  1. Add (require 'lean-diff-types) to your .emacs or init.el file

Key Bindings and Commands

Key Function
C-c C-t apply diff to the expected / actual type in error messages