vig/examples/hello.v

13 lines
133 B
Coq
Raw Normal View History

2019-08-24 14:07:23 +00:00
//const (
// Cock = 1
// Ball = 2
// 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-24 14:07:23 +00:00
}