6 lines
65 B
Coq
6 lines
65 B
Coq
|
module uwu;
|
||
|
initial begin
|
||
|
$display("uwu");
|
||
|
end
|
||
|
endmodule
|