Files

8 lines
97 B
Coq
Raw Permalink Normal View History

2021-03-24 00:00:01 +00:00
module main;
initial
begin
$display("Hello World");
$finish;
end
endmodule