Changes between Version 173 and Version 174 of Commentary

Show
Ignore:
Timestamp:
01/16/12 00:35:03 (16 months 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