Changes between Version 16 and Version 17 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 6:13:46 PM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v16 v17  
    106106}}} 
    107107 
    108  
    109  
    110  
    111  
    112  
    113 == Type-Level Operations == 
    114  
    115 {{{ 
    116 type family m ^ n :: Nat 
    117 type family m * n :: Nat 
    118 type family m + n :: Nat 
    119 class m <= n 
    120 }}} 
    121