Changes between Version 16 and Version 17 of TypeNats


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats

    v16 v17  
    1313 
    1414  * [wiki:TypeNats/AlternativeSingletons Alternative Design For Singletons] 
    15   * [wiki:TypeNtas/AlternativeSingletins Alternative Design For Singletons] 
    1615 
    1716  * [wiki:TypeNats/Implementation   Implementation of {{{GHC.TypeNats}}}]