Changes between Version 3 and Version 4 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 4:51:23 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v3 v4  
    1111}}} 
    1212 
    13 == Basic Operations == 
     13== Singleton Types == 
    1414 
    1515{{{