Changes between Version 16 and Version 17 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 6:13:46 PM (5 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