diff --git a/home/.config/doom/init.el b/home/.config/doom/init.el index 556555c..5ac270e 100644 --- a/home/.config/doom/init.el +++ b/home/.config/doom/init.el @@ -130,6 +130,7 @@ :lang ;;agda ; types of types of types of types... + ;;beancount ; the accounting system in Emacs (cc +lsp) ; C/C++/Obj-C madness ;;clojure ; java with a lisp common-lisp ; if you've seen one lisp, you've seen them all @@ -143,6 +144,7 @@ emacs-lisp ; drown in parentheses ;;erlang ; an elegant language for a more civilized age ;;ess ; emacs speaks statistics + ;;factor ;;faust ; dsp, but you get to keep your soul ;;fsharp ; ML stands for Microsoft's Language ;;fstar ; (dependent) types and (monadic) effects and Z3 @@ -162,7 +164,6 @@ +lsp +fold) ;;lean - ;;factor ;;ledger ; an accounting system in Emacs (lua ; one-based indices? one-based indices +moonscript @@ -199,7 +200,7 @@ ;;(ruby +rails) ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"} (rust +lsp) ; Fe2O3.unwrap().unwrap().unwrap().unwrap() ;;scala ; java, but good - scheme ; a fully conniving family of lisps + (scheme +guile) ; a fully conniving family of lisps (sh ; she sells {ba,z,fi}sh shells on the C xor +lsp +fish) @@ -209,6 +210,7 @@ ;;terra ; Earth and Moon in alignment for performance. web ; the tubes (yaml +lsp) ; JSON, but readable + ;;zig ; C, but simpler :email (mu4e +org +gmail)