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

2 lines
13 B
Coq
Raw Normal View History

redo parser for the 300th time
2019-08-23 14:57:49 +00:00
fn main() {}