2014-02-12  Edsko de Vries  <edsko@well-typed.com>

  * Initial release