Changes between Version 39 and Version 40 of TypeNats


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v39 v40  
    2222 
    2323  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeLits] 
    24   * [http://github.com/yav/tc-solver/blob/master/docs/axioms.md Axioms for type-level type operators] 
    25  
     24  * [wiki:Commentary/Compiler/TypeNatSolver The solve for type-level naturals] 
    2625 
    2726 
     
    3736  * More advanced example: https://github.com/yav/memory-arrays/tree/master 
    3837  * [wiki:TypeNats/Examples         Examples] 
     38  * [http://github.com/yav/tc-solver/blob/master/docs/axioms.md Axioms for type-level type operators]