Changes between Version 34 and Version 35 of TypeNats/Basics


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v34 v35  
    4646but the type of the result depends on the ''kind'' of the singleton parameter.
    4747So, if we apply it to a value of type `Sing 3` we get the ''number'' `3`, but,
    48 if we apply it to a value of type `Sing "hello"` we would get the ''string'' `"hello"`.
     48if we apply it to a value of type `Sing "hello"` we get the ''string'' `"hello"`.
    4949
    5050So, how do we make values of type `Sing n` in the first place?  This is done with