Changes between Version 6 and Version 7 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 5:33:42 PM (3 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