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