This commit is contained in:
Akko
2023-11-15 10:49:16 +01:00
parent b448fa15b7
commit 916e376500
6 changed files with 455 additions and 173 deletions

View File

@@ -111,7 +111,7 @@
;;agda ; types of types of types of types...
;;assembly ; assembly for fun or debugging
cc ; C/C++/Obj-C madness
;;clojure ; java with a lisp
(clojure +lsp) ; java with a lisp
common-lisp ; if you've seen one lisp, you've seen them all
;;coq ; proofs-as-programs
;;crystal ; ruby at the speed of c
@@ -184,6 +184,6 @@
;;write ; emacs for writers (fiction, notes, papers, etc.)
:config
;;literate
literate
(default +bindings +smartparens)
)