vig/examples/hello.v

15 lines
146 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)
mut a := 1+2
a = 2
2019-08-24 14:07:23 +00:00
}