Changes between Version 15 and Version 16 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 6:13:07 PM (5 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 }}}