Changes between Version 17 and Version 18 of TypeNats


Ignore:
Timestamp:
Jan 16, 2011 5:25:16 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v17 v18  
    1212== Implementation and Design Issues == 
    1313 
     14  * [wiki:TypeNats/Implementation   Implementation of GHC.TypeNats] 
    1415  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    1516 
    16   * [wiki:TypeNats/Implementation   Implementation of {{{GHC.TypeNats}}}] 
     17 
    1718 
    1819  * [wiki:TypeNats/Axioms           Axioms for Natural Number Operators]