Changes between Version 2 and Version 3 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 4:38:20 PM (5 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