Changes between Version 196 and Version 197 of Commentary


Ignore:
Timestamp:
Feb 6, 2013 11:04:22 AM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v196 v197  
    8383   * [wiki:PackageLanguage A modular package language for Haskell] Scott Kilpatrick and Derek Dreyer are designing a new “package language” for Haskell in the style of the ML module system. 
    8484   * [wiki:PatternSynonyms Pattern synonyms] 
    85    * [wiki:TypeNats Type level naturals] 
     85   * [wiki:TypeNats Type level naturals] and [wiki:TypeLevelReasoning type level reasoning]. 
    8686   * [wiki:Commentary/Compiler/TypeNatSolver The solve for type-level naturals] 
    8787   * [wiki:PolymorphicDynamic Polymorphic Dynamic]: Notes on adding ad-hoc polymorphic dynamic types