Follow
comments in programming languages
in coq, comments are
(* written like this *)
and it looks cool, but is kind of hard to write
comments in programming languages
in coq, comments are
(* written like this *)
and it looks cool, but is kind of hard to write
comments in programming languages
@lizardsquid don't start me on fucking html