vig/examples/hello.v

15 lines
158 B
Coq
Raw Normal View History

2019-08-24 19:56:58 +00:00
const (
Cock = 1
Ball = 2 + 3
Deals = 3
Businesses = 4
)
2019-08-24 14:07:23 +00:00
fn main(a int) int {
2019-08-24 14:15:41 +00:00
1 + 2 + 3 + 4
1 + 1 * 1
3 / (51 + 2)
2019-08-25 13:27:50 +00:00
a := 1+2
2019-08-24 20:25:08 +00:00
println(2 * 1956 + a)
2019-08-24 14:07:23 +00:00
}