Changes between Version 1 and Version 2 of RemoveNPlusK


Ignore:
Timestamp:
Mar 31, 2008 9:38:22 PM (7 years ago)
Author:
simonmar@…
Comment:

link to Natural

Legend:

Unmodified
Added
Removed
Modified
  • RemoveNPlusK

    v1 v2  
    1515 * it is a concise, natural, and familiar notation for recursion over naturals 
    1616 * it allows recursive functions over naturals to be defined using non-overlapping patterns 
    17  * it would make a lot more sense if we had a natural number type, and restricted `n+k` patterns appropriately 
     17 * it would make a lot more sense if we had [wiki:Natural a natural number type], and restricted `n+k` patterns appropriately 
    1818 * some Haskell books use it (this was the main reason it was kept in Haskell 98)