3 lines
29 B
Coq
3 lines
29 B
Coq
|
|
module main
|
||
|
|
pub fn main() {}
|