Changes between Version 2 and Version 3 of TypeNats/Basics

Show
Ignore:
Timestamp:
01/16/11 08:38:20 (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/Basics

    v2 v3  
    2020 
    2121natToInteger :: Nat n -> Integer 
    22  
    23 checkNat :: TypeNat n => (Integer -> Bool) -> Maybe (Nat n) 
    2422}}} 
    2523