Changes between Version 37 and Version 38 of TypeNats/Basics


Ignore:
Timestamp:
Apr 9, 2012 3:01:03 AM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v37 v38  
    2828newtype Sing :: a -> * 
    2929}}} 
    30 For example, `Sing 0`, `Sing 127`, `Sing "hello"`, and `Sing "this also` are all 
     30For example, `Sing 0`, `Sing 127`, `Sing "hello"`, and `Sing "this also"` are all 
    3131singleton types.  The intuition is that the only inhabitant of `Sing n` is the value `n`.  Notice 
    3232that `Sing` has a ''polymorphic kind'' because sometimes we apply it to numbers (which are of