4 lines
36 B
Coq
4 lines
36 B
Coq
|
fn main() {
|
||
|
|
print('Loading... ')
|
||
|
|
}
|