3 lines
62 B
Plaintext
3 lines
62 B
Plaintext
|
module Hello
|
||
|
|
|
||
|
|
let main = FStar.IO.print_string "Hello World\n"
|