Changes between Version 173 and Version 174 of Commentary


Ignore:
Timestamp:
Jan 16, 2012 8:35:03 AM (4 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v173 v174  
    8888   * [wiki:ExplicitTypeApplication Syntax for explicit type application and scoped type variables]
    8989   * [wiki:DeferErrorsToRuntime Deferring compilation type errors to runtime (`-fwarn-type-errors`)]
     90   * [wiki:NewAxioms New coercion axioms design]
    9091
    9192 * GHCi Debuger