doomemacs/modules/lang/lean/packages.el

;; -*- no-byte-compile: t; -*-
;;; lang/lean/packages.el

(package! lean-mode :pin "f26e40daad")

(when (featurep! :completion company)
  (package! company-lean :pin "f26e40daad"))
Add a module for the lean theorem prover Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com> 2019-09-07 02:18:51 +09:00			`;; -- no-byte-compile: t; --`
			`;;; lang/lean/packages.el`

Fix #2373: bring back package pinning This needs some serious refactoring... 2020-01-25 03:49:42 -05:00			`(package! lean-mode :pin "f26e40daad")`
Add a module for the lean theorem prover Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com> 2019-09-07 02:18:51 +09:00
			`(when (featurep! :completion company)`
Fix #2373: bring back package pinning This needs some serious refactoring... 2020-01-25 03:49:42 -05:00			`(package! company-lean :pin "f26e40daad"))`