Changes between Version 39 and Version 40 of TypeNats


Ignore:
Timestamp:
Dec 8, 2012 8:26:41 PM (3 years 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]