6 Commits

Author	SHA1	Message	Date
Henrik Lissner	01666572d7	fix(lean): remove company-lean ... company-lean was removed from MELPA. Since lean4 support is around the corner and Doom has deprecated its support for Company, I'll simply remove this package. Ref: melpa/melpa@11196af312 Fix: #8159	2025-01-12 20:13:49 -05:00
Henrik Lissner	ad6a3d0f33	refactor: deprecate featurep! for modulep! ... featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition.	2022-08-14 20:43:35 +02:00
Henrik Lissner	7e491ce1c0	lang/lean: minor reformatting	2021-02-26 21:33:00 -05:00
Rudi Grinberg	8778eb2288	Disable auto initializatinon of company in lean mode ... Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>	2019-09-10 09:47:56 +09:00
Rudi Grinberg	2527306069	Use map! with after! to setup bindings ... Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>	2019-09-10 09:47:56 +09:00
Rudi Grinberg	dbf9e9e2c7	Add a module for the lean theorem prover ... Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>	2019-09-10 09:47:56 +09:00