Changes between Version 15 and Version 16 of TypeNats/Basics


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v15 v16  
    120120}}} 
    121121 
    122 == Natural Numbers == 
    123  
    124 {{{ 
    125 data Natural = forall n . Natural !(Nat n) 
    126  
    127 data NaturalInteger 
    128   = Negative Natural 
    129   | NonNegative Natural 
    130  
    131 toNaturalInteger :: Integer -> NaturalInteger 
    132  
    133 subNatural :: Natural -> Natural -> NaturalInteger 
    134 }}}