8 lines
97 B
Coq
Raw Normal View History

2014-11-25 21:06:25 -03:00
module main;
initial
begin
$display("Hello World");
2014-11-25 21:06:25 -03:00
$finish;
end
endmodule