Changes between Version 10 and Version 11 of TypeNats/Basics


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v10 v11  
    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' (this is discussed in more detail in ExplicitImplicit) 
     43  * It is an ''implicit'' parameter of kind 'Nat' (this is discussed in more detail in [wiki:TypeNats/ImplicitExplicit a separate section]) 
    4444 
    4545