3 lines
78 B
Coq
3 lines
78 B
Coq
|
module our;
|
||
|
|
initial begin $display("Hello World"); $finish; end
|
||
|
|
endmodule
|