Changes between Version 11 and Version 12 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 5:58:23 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v11 v12  
     1== Type-Level Naturals ==
     2
    13There is a new kind, `Nat`.  It is completely separate from GHC's hierarchy of sub-kinds, so `Nat` is only a sub-kind of itself.
    24