Changes between Version 26 and Version 27 of TypeNats/Basics


Ignore:
Timestamp:
Mar 21, 2012 1:50:21 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v26 v27  
    1717We relate type-level natural numbers to run-time values via a family of singleton types:
    1818{{{
    19 data TNat (n :: Nat)
     19data TNat :: Nat -> *
    2020
    2121tNat         :: NatI n => TNat n