Just wrote up an example of how to derive types from an O'Caml statement.

"If this were a dictatorship, it'd be a heck of a lot easier, just so long as I'm the dictator." --GW Bush

Why a German jew did not flee Nazi Germany while he still could

"No man escapes when freedom fails; the best men rot in filthy jails. And those who cried, 'Appease! Appease!', are hanged by those they tried to please." --Horace Mann

Word of the day:
lacuna: An empty space or a missing part; a gap: “self-centered in opinion, with curious lacunae of astounding ignorance” (Frank Norris)

Seven Lessons from the ICFP Programming Contest

www.111111111111111111111111111111111111111111111111111111111111.com
(Keep clicking "ENTER" until you hit the end)