|
@@ -95,7 +95,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 ; 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
|
|
@@ -141,8 +141,8 @@
|
|
|
rest ; Emacs as a REST client
|
|
|
ruby ; 1.step do {|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 +fish) ; she sells (ba|z|fi)sh shells on the C xor
|
|
|
;;solidity ; do you need a blockchain? No.
|
|
|
;;swift ; who asked for emoji variables?
|
|
@@ -185,7 +185,7 @@
|
|
|
["#242424" "#e5786d" "#95e454" "#cae682" "#8ac6f2" "#333366" "#ccaa8f" "#f6f3e8"])
|
|
|
'(custom-safe-themes
|
|
|
(quote
|
|
|
- ("43c808b039893c885bdeec885b4f7572141bd9392da7f0bd8d8346e02b2ec8da" "3b3573ac73e802a00c9ea11c08f720c2d4dd2a2205a2f33075a828cc23c78c12" "f5568ed375abea716d1bdfae0316d1d179f69972eaccd1f331b3e9863d7e174a" default)))
|
|
|
+ ("2878517f049b28342d7a360fd3f4b227086c4be8f8409f32e0f234d129cee925" "db30f877027b953eb99ad19c0f2f47942085886c97fe82964530849137a74e32" "43c808b039893c885bdeec885b4f7572141bd9392da7f0bd8d8346e02b2ec8da" "3b3573ac73e802a00c9ea11c08f720c2d4dd2a2205a2f33075a828cc23c78c12" "f5568ed375abea716d1bdfae0316d1d179f69972eaccd1f331b3e9863d7e174a" default)))
|
|
|
'(doom-big-font-mode nil)
|
|
|
'(fci-rule-color "#BA45A3")
|
|
|
'(jdee-db-active-breakpoint-face-colors (cons "#131033" "#1ea8fc"))
|