RosettaCodeData/Task/Empty-program/V-(Vlang)/empty-program-2.v

3 lines
29 B
Coq
Raw Permalink Normal View History

2023-07-01 11:58:00 -04:00
module main
pub fn main() {}