forked from vieter-v/vieter
4 lines
40 B
Coq
4 lines
40 B
Coq
|
fn main() {
|
||
|
|
println('Hello, world!')
|
||
|
|
}
|