Changes between Version 6 and Version 7 of TypeNats/Basics

Show
Ignore:
Timestamp:
01/16/11 09:33:42 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/Basics

    v6 v7  
    1616{{{ 
    1717data Nat (n :: Nat) 
     18 
    1819nat          :: NatI n => Nat n 
    1920natToInteger :: Nat n -> Integer