v-learn/hello_world.v

8 lines
180 B
Coq
Raw Normal View History

2023-07-01 18:36:49 +03:00
fn main() {
areas := ['game', 'web', 'tools', 'science', 'systems',
'embedded', 'drivers', 'GUI', 'mobile']
for area in areas {
println('Hello, ${area} developers!')
}
}