Changes between Version 3 and Version 4 of TypeNats/Naturals

Show
Ignore:
Timestamp:
02/04/11 12:38:47 (2 years ago)
Author:
hesselink
Comment:

Interger -> Integer

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/Naturals

    v3 v4  
    2020For example, subtracting a larger number from a smaller one results in the undefined value of type ''Natural''. 
    2121 
    22 We also provide some functions for converting ''Interger'' values into their corresponding ''Natural'' ones. 
     22We also provide some functions for converting ''Integer'' values into their corresponding ''Natural'' ones. 
    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,