mirror of
https://github.com/house-of-vanity/sum_counter.git
synced 2025-08-21 15:57:19 +00:00
4 lines
46 B
Coq
4 lines
46 B
Coq
|
fn main() {
|
||
|
|
println('Hello, developers!')
|
||
|
|
}
|