Changes between Version 9 and Version 10 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 5:56:15 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v9 v10  
    4141The name ''NatI'' is a mnemonic for the different uses of the class: 
    4242  * It is the ''introduction'' construct for 'Nat' values, 
    43   * It is an ''implicit'' parameter of kind 'Nat' (link) 
     43  * It is an ''implicit'' parameter of kind 'Nat' (this is discussed in more detail in ExplicitImplicit) 
    4444 
    4545