msyds/sydnix
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(emacs): Lean 4 support

Browse Source
This commit is contained in:
Madeleine Sydney
2025-05-06 11:35:47 -06:00
parent 909965ed8b
commit 1dca12377e
2 changed files with 14 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
modules/home/users/crumb/emacs/modules/lang/syd-lang-lean4.el Normal file
View File

@@ -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)

9
modules/home/users/crumb/emacs/modules/syd-lang.el
View File

@@ -2,13 +2,14 @@
(file-name-concat user-emacs-directory "modules" "lang")) (file-name-concat user-emacs-directory "modules" "lang"))
(require 'syd-lang-agda) (require 'syd-lang-agda)
(require 'syd-lang-kdl)
(require 'syd-lang-emacs-lisp)
(require 'syd-lang-clojure) (require 'syd-lang-clojure)
(require 'syd-lang-nix) (require 'syd-lang-emacs-lisp)
(require 'syd-lang-haskell) (require 'syd-lang-haskell)
(require 'syd-lang-sql)
(require 'syd-lang-idris2) (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) (use-package tf2-conf-mode)