Changes between Version 3 and Version 4 of TypeNats/AlternativeSingletons

Timestamp:

03/20/12 18:47:23 (14 months ago)

Author:

diatchki

Comment:

--

TypeNats/AlternativeSingletons

@@ -28 +28 @@
 }}}
 
-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:
+We 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:
 
 {{{