8 lines
98 B
Coq
Raw Normal View History

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