Skip to content
Snippets Groups Projects
CHANGES 532 B
Newer Older
Changes in version 0.2:

  * The [...] markup for typewriter font has been changed to @...@.
  * Module attributes introduced (see the documentation for details).

  * {- ... -} style comments may now be used for documentation annotations

  * Recursive modules are detected and reported as an error.

  * Existential constructors and rank-N types are now groked by the parser

  * Some type rendering cleaned up

  * `abc' is accepted as well as 'abc' to markup an identifier

  * Several bugs fixed, and error messages improved.