diff options
| -rw-r--r-- | init.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -112,7 +112,7 @@ ;;ada ; In strong typing we (blindly) trust ;;(agda +local) ; types of types of types of types... ;;beancount ; mind the GAAP - ;;(cc +lsp) ; C > C++ == 1 + (cc +lsp) ; C > C++ == 1 ;;clojure ; java with a lisp ;;common-lisp ; if you've seen one lisp, you've seen them all ;;coq ; proofs-as-programs |
