4 lines
61 B
Coq
4 lines
61 B
Coq
|
program main;
|
||
|
|
initial forever $display("SPAM");
|
||
|
|
endprogram
|