<!-- -->
#
이런걸로 주석처리 하는건 언어 아님
대신 (**)가 주석인 언어 쓰기
이거보고 (* *) -- {- -} --[[ ]]쓰는 언어들 쓰기로 했다 - dc App
-- 랑 /- -/ 는 이미 있음
--[===[ ]===] (실제로 있는 언어)
생각해보니까 (* *)도 이미 있음https://coq.inria.fr/doc/V8.19.1/refman/language/core/basic.html#lexical-conventions
있으니깐 하는말이지ㅋㅋ (* *)는 OCaml에서 Coq으로 이어져 내려온것임
(comment ...)
이거보고 파이썬에 ''' 쓰기로 했다
;이 근본 아닌가?
대신 (**)가 주석인 언어 쓰기
이거보고 (* *) -- {- -} --[[ ]]쓰는 언어들 쓰기로 했다 - dc App
-- 랑 /- -/ 는 이미 있음
--[===[ ]===] (실제로 있는 언어)
생각해보니까 (* *)도 이미 있음
https://coq.inria.fr/doc/V8.19.1/refman/language/core/basic.html#lexical-conventions
있으니깐 하는말이지ㅋㅋ (* *)는 OCaml에서 Coq으로 이어져 내려온것임
(comment ...)
이거보고 파이썬에 ''' 쓰기로 했다
;이 근본 아닌가?