4 lines
40 B
Coq
4 lines
40 B
Coq
|
fn main() {
|
||
|
println("hello world!");
|
||
|
}
|