yamabiiko
/
dot-files
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix: update doom emacs config

This commit is contained in:
Claudio Maradonna 2021-08-07 10:14:14 +02:00
parent 9871d537c9
commit c56954a92a
Signed by untrusted user: claudiomaradonna
GPG Key ID: B1EDCB4C3B05C387
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
emacs/doom-emacs/init.el
View File

@ -23,8 +23,8 @@
company ; the ultimate code completion backend company ; the ultimate code completion backend
;;helm ; the *other* search engine for love and life ;;helm ; the *other* search engine for love and life
;;ido ; the other *other* search engine... ;;ido ; the other *other* search engine...
;;ivy ; a search engine for love and life (ivy +fuzzy +prescient +childframe) ; a search engine for love and life
vertico ; the search engine of the future ;;vertico ; the search engine of the future
:ui :ui
;;deft ; notational velocity for Emacs ;;deft ; notational velocity for Emacs
@ -112,7 +112,7 @@
:lang :lang
;;agda ; types of types of types of types... ;;agda ; types of types of types of types...
;;beancount ; mind the GAAP ;;beancount ; mind the GAAP
;;cc ; C > C++ == 1 (cc +lsp) ; C > C++ == 1
;;clojure ; java with a lisp ;;clojure ; java with a lisp
common-lisp ; if you've seen one lisp, you've seen them all common-lisp ; if you've seen one lisp, you've seen them all
;;coq ; proofs-as-programs ;;coq ; proofs-as-programs