Changes between Version 35 and Version 36 of TypeNats/Basics

Show
Ignore:
Timestamp:
04/08/12 19:59:24 (15 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeNats/Basics

    v35 v36  
    1010}}} 
    1111 
    12 Both of numeric and symbol literal types are empty---they have no inhabitants.  However, they may be 
     12Both numeric and symbol literal types are empty---they have no inhabitants.  However, they may be 
    1313used as parameters to other type constructors, which makes them useful. 
    1414