aboutsummaryrefslogtreecommitdiffstats
path: root/doom/init.el
diff options
context:
space:
mode:
Diffstat (limited to 'doom/init.el')
-rw-r--r--doom/init.el35
1 files changed, 18 insertions, 17 deletions
diff --git a/doom/init.el b/doom/init.el
index 682520c..4e8cff9 100644
--- a/doom/init.el
+++ b/doom/init.el
@@ -88,13 +88,12 @@
;;ein ; tame Jupyter notebooks with emacs
(eval +overlay) ; run code, run (also, repls)
;;gist ; interacting with github gists
- ;;lookup ; navigate your code and its documentation
- ;;lsp
- macos ; MacOS-specific commands
+ lookup ; navigate your code and its documentation
+ lsp
magit ; a git porcelain for Emacs
;;make ; run make tasks from Emacs
pass ; password manager for nerds
- pdf ; pdf enhancements
+ ;;pdf ; pdf enhancements
;;prodigy ; FIXME managing external services & code builders
;;rgb ; creating color strings
;;terraform ; infrastructure as code
@@ -102,11 +101,11 @@
;;upload ; map local to remote projects via ssh/ftp
:lang
- ;;agda ; types of types of types of types...
- ;;assembly ; assembly for fun or debugging
+ 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
- ;;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
;;crystal ; ruby at the speed of c
;;csharp ; unity, .NET, and mono shenanigans
@@ -120,12 +119,12 @@
;;fsharp ; ML stands for Microsoft's Language
;;fstar ; (dependent) types and (monadic) effects and Z3
;;go ; the hipster dialect
- haskell ; a language that's lazier than I am
+ (haskell +lsp) ; a language that's lazier than I am
;;hy ; readability of scheme w/ speed of python
- ;;idris ;
+ idris ;
;;(java +meghanada) ; the poster child for carpal tunnel syndrome
;;javascript ; all(hope(abandon(ye(who(enter(here))))))
- ;;julia ; a better, faster MATLAB
+ julia ; a better, faster MATLAB
;;kotlin ; a better, slicker Java(Script)
latex ; writing papers in Emacs has never been so fun
;;lean
@@ -147,16 +146,16 @@
;;perl ; write code no one else can comprehend
;;php ; perl's insecure younger brother
;;plantuml ; diagrams for confusing people more
- ;;purescript ; javascript, but functional
+ purescript ; javascript, but functional
python ; beautiful is better than ugly
;;qt ; the 'cutest' gui framework ever
- ;;racket ; a DSL for DSLs
- ;;rest ; Emacs as a REST client
- ;;rst ; ReST in peace
+ racket ; a DSL for DSLs
+ rest ; Emacs as a REST client
+ rst ; ReST in peace
;;(ruby +rails) ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"}
rust ; Fe2O3.unwrap().unwrap().unwrap().unwrap()
- ;;scala ; java, but good
- ;;scheme ; a fully conniving family of lisps
+ scala ; java, but good
+ scheme ; a fully conniving family of lisps
sh ; she sells {ba,z,fi}sh shells on the C xor
;;solidity ; do you need a blockchain? No.
;;swift ; who asked for emoji variables?
@@ -176,4 +175,6 @@
:config
;;literate
- (default +bindings +smartparens))
+ (default +bindings +smartparens)
+
+ :os macos)