Files
Tuncer Ayaz 65905122b8 Improve and extend test data (#99)
* Add uncounted comments in Ur/Web files

* Add Cogent test file

* Add F* test file
2017-01-29 22:31:54 +00:00

11 lines
166 B
Plaintext

(* 10 lines 3 code 4 comments 3 blanks *)
module Hello
(* multi
line
comment *)
open FStar.IO
let main = print_string "Hello, F*!\n" (* uncounted comment *)