Source

core hello world / hello_server.mli

Yaron Minsky 6e3ea8f 
(* A command-line program *)