Changes between Version 2 and Version 3 of TypeNats/Naturals


Ignore:
Timestamp:
Jan 16, 2011 6:33:33 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Naturals

    v2 v3  
    2323We do this by using an intermediate representation for integers in terms of naturals, ''NaturalInteger''.  This type 
    2424is intended to be used only for the conversion.  While, in principle, we could provide numeric instances for the type, 
    25 we chose not to, because we would be duplicating functionality provided by the type 'Integer'. 
     25we chose not to, because we would be duplicating functionality provided by the type ''Integer''. 
    2626 
    2727{{{