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