Commit graph

5 commits

Author SHA1 Message Date
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