vieter/pieter/main.v

10 lines
120 B
Coq
Raw Normal View History

2022-01-08 23:14:07 +01:00
import fibonacci
fn main() {
println('Hello, world!')
2022-01-08 23:14:07 +01:00
for i in 1 .. 35 {
println('$i - ${fibonacci.fib(i)}')
}
}