Changes between Version 1 and Version 2 of TypeNats/Implementation


Ignore:
Timestamp:
Jan 16, 2011 5:25:38 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Implementation

    v1 v2  
    55natToInteger :: Nat n -> Integer 
    66natToInteger (Nat n) = n 
    7  
    8 integerToNat :: Integer -> (forall n. Nat n -> a) -> a 
    9 integerToNat n k = k (Nat n) 
    107}}} 
    118