Changes between Version 14 and Version 15 of TypeNats


Ignore:
Timestamp:
Jan 16, 2011 4:56:19 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v14 v15  
    1111 
    1212== Implementation and Design Issues == 
     13 
     14  * [wiki:TypeNtas/AlternativeSingletins Alternative Design For Singletons] 
    1315 
    1416  * [wiki:TypeNats/Implementation   Implementation of {{{GHC.TypeNats}}}]