Changes between Version 3 and Version 4 of TypeNats/MatchingOnNats


Ignore:
Timestamp:
Sep 23, 2012 4:01:16 AM (19 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/MatchingOnNats

    v3 v4  
    3232 
    3333 
    34 = The Solution = 
     34= A Solution = 
    3535 
    3636We can solve this problem by providing an additional representation of type-level natural numbers,