Changes between Version 3 and Version 4 of TypeNats/AlternativeSingletons


Ignore:
Timestamp:
Mar 21, 2012 1:47:23 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/AlternativeSingletons

    v3 v4  
    2828}}}
    2929
    30 We made this choice, at least in part, because it made the implementation simpler: the evidence for class {{{NatI}}} is just an integer.  Note that our choice does not loose any generality because we can define the alternative design in terms of it:
     30We made this choice, at least in part, because it made the implementation simpler: with our choice the evidence for class {{{NatI}}} is just an integer.  Note that our choice does not loose any generality because we can define the alternative design in terms of it:
    3131
    3232{{{