Changes between Version 10 and Version 11 of TypeNats/Basics


Ignore:
Timestamp:
Jan 16, 2011 5:57:51 PM (5 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