You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
5 lines
47 B
5 lines
47 B
12 years ago
|
open Printf
|
||
|
|
open Format
|
||
|
|
let _ =
|
||
|
|
ignore (1+2)
|