From 1dca12377e07d1301baf3d2dc2f28eab25fd72c2 Mon Sep 17 00:00:00 2001 From: Madeleine Sydney Date: Tue, 6 May 2025 11:35:47 -0600 Subject: [PATCH] feat(emacs): Lean 4 support --- .../users/crumb/emacs/modules/lang/syd-lang-lean4.el | 9 +++++++++ modules/home/users/crumb/emacs/modules/syd-lang.el | 9 +++++---- 2 files changed, 14 insertions(+), 4 deletions(-) create mode 100644 modules/home/users/crumb/emacs/modules/lang/syd-lang-lean4.el diff --git a/modules/home/users/crumb/emacs/modules/lang/syd-lang-lean4.el b/modules/home/users/crumb/emacs/modules/lang/syd-lang-lean4.el new file mode 100644 index 0000000..7b7c051 --- /dev/null +++ b/modules/home/users/crumb/emacs/modules/lang/syd-lang-lean4.el @@ -0,0 +1,9 @@ +;;; syd-lang-lean4.el -*- lexical-binding: t; -*- + +(use-package lean4-mode + :straight (:type git + :host github + :repo "leanprover-community/lean4-mode" + :files ("*.el" "data"))) + +(provide 'syd-lang-lean4) diff --git a/modules/home/users/crumb/emacs/modules/syd-lang.el b/modules/home/users/crumb/emacs/modules/syd-lang.el index da49460..f0fd81f 100644 --- a/modules/home/users/crumb/emacs/modules/syd-lang.el +++ b/modules/home/users/crumb/emacs/modules/syd-lang.el @@ -2,13 +2,14 @@ (file-name-concat user-emacs-directory "modules" "lang")) (require 'syd-lang-agda) -(require 'syd-lang-kdl) -(require 'syd-lang-emacs-lisp) (require 'syd-lang-clojure) -(require 'syd-lang-nix) +(require 'syd-lang-emacs-lisp) (require 'syd-lang-haskell) -(require 'syd-lang-sql) (require 'syd-lang-idris2) +(require 'syd-lang-kdl) +(require 'syd-lang-lean4) +(require 'syd-lang-nix) +(require 'syd-lang-sql) (use-package tf2-conf-mode)