Changes between Version 6 and Version 7 of TypeNats/Basics


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