Changes between Version 40 and Version 41 of TypeNats

Show
Ignore:
Timestamp:
12/08/12 12:27:15 (6 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