Changes between Version 36 and Version 37 of TypeNats/Basics


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v36 v37  
    2828newtype Sing :: a -> * 
    2929}}} 
    30 For example, {{{Sing 0}}}, {{{Sing 127}}}, {{{Sing "hello"}}}, {{{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