8 lines
64 B
Coq
8 lines
64 B
Coq
|
// Single line commment.
|
||
|
|
|
||
|
|
/*
|
||
|
|
Multiple
|
||
|
|
line
|
||
|
|
comment.
|
||
|
|
*/
|