Changes between Version 173 and Version 174 of Commentary


Ignore:
Timestamp:
Jan 16, 2012 8:35:03 AM (2 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