Enable c/c++/c#
This commit is contained in:
parent
73ec0f1025
commit
0ef70c19c9
@ -110,7 +110,7 @@
|
|||||||
|
|
||||||
:lang
|
:lang
|
||||||
;;agda ; types of types of types of types...
|
;;agda ; types of types of types of types...
|
||||||
;;cc ; C/C++/Obj-C madness
|
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
|
;;common-lisp ; if you've seen one lisp, you've seen them all
|
||||||
;;coq ; proofs-as-programs
|
;;coq ; proofs-as-programs
|
||||||
|
Loading…
Reference in New Issue
Block a user