aeu

2026-02-27 01:01:35 +08:00
parent 4a65050f92
commit 703188c0f8
3 changed files with 3 additions and 2 deletions
@@ -119,7 +119,7 @@
       (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
+       ;;coq               ; proofs-as-programs
       ;;crystal           ; ruby at the speed of c
       ;;csharp            ; unity, .NET, and mono shenanigans
       data              ; config/data formats