CoCaml v.3 release notes - Adds the ability to run a file directly from the command line, as in "./cocaml.exe example.ml" - Adds polymorphic sum types - Completely reimplements lists as polymorphic sum types - Numerous bug fixes, in particular in the parser and the type inference