Home Gen311 @ 2024-07-31-18:10

This commit is contained in:
Jonas Röger 2024-07-31 18:11:43 +02:00
parent ca77e9b568
commit 5995d72e6e

View File

@ -117,7 +117,7 @@
:lang
;;agda ; types of types of types of types...
;;beancount ; mind the GAAP
;;(cc +lsp) ; C > C++ == 1
(cc +lsp +tree-sitter) ; 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