Changes between Version 18 and Version 19 of NewtypeWrappers


Ignore:
Timestamp:
Sep 19, 2013 6:26:47 PM (23 months ago)
Author:
nomeata
Comment:

fix name spelling

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v18 v19  
    7676== Proposal 2 ==
    7777
    78 (This is basically the current implementation, advocated by Roman Cheplyka.)
     78(This is basically the current implementation, advocated by Roman Cheplyaka.)
    7979
    8080== Proposal 3 ==