luna
/
vig
1
2
Fork 0
Code Issues Pull Requests Releases Wiki Activity
vig/examples/hello.v

2 lines
19 B
Coq
Raw Normal View History

add basic param parsing
2019-08-23 18:52:04 +00:00
fn main( a int) {}