vig/examples/hello.v

11 lines
100 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 {
1 + 2
}