Changes between Version 35 and Version 36 of TypeNats/Basics


Ignore:
Timestamp:
Apr 9, 2012 2:59:24 AM (3 years 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