Changes between Version 4 and Version 5 of TypeNats/Implementation


Ignore:
Timestamp:
Mar 21, 2012 1:48:38 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Implementation

    v4 v5  
    1 The only "magic" thing about `GHC.TypeNats` are the instances of `NatI`.  The rest is implemented like this: 
     1The only "magic" thing about `GHC.TypeLits` are the instances of `NatI`.  The rest is implemented like this: 
    22{{{ 
    33newtype TNat (n :: Nat) = TNat Integer