Changes between Version 40 and Version 41 of TypeNats


Ignore:
Timestamp:
Dec 8, 2012 8:27:15 PM (17 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v40 v41  
    2222 
    2323  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeLits] 
    24   * [wiki:Commentary/Compiler/TypeNatSolver The solve for type-level naturals] 
     24  * [wiki:Commentary/Compiler/TypeNatSolver The solver for type-level naturals] 
    2525 
    2626