|
@@ -83,6 +83,7 @@
|
|
|
:checkers
|
|
:checkers
|
|
|
syntax ; tasing you for every semicolon you forget
|
|
syntax ; tasing you for every semicolon you forget
|
|
|
;;(spell +flyspell) ; tasing you for misspelling mispelling
|
|
;;(spell +flyspell) ; tasing you for misspelling mispelling
|
|
|
|
|
+ spell
|
|
|
;;grammar ; tasing grammar mistake every you make
|
|
;;grammar ; tasing grammar mistake every you make
|
|
|
|
|
|
|
|
:tools
|
|
:tools
|
|
@@ -116,7 +117,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 +lsp) ; 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
|