Changes between Version 1 and Version 2 of TypeNats/ImplicitExplicit


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/ImplicitExplicit

    v1 v2  
    1 There are two different styles of writing functions which need the integer corresponding to a type level naturals. 
     1There are two different styles of writing functions which need the integer corresponding to a type level natural. 
    22 
    33The one approach is to use an explicit parameter of type `Nat n`.  For example: