Changes between Version 1 and Version 2 of RemoveNPlusK
 Timestamp:
 Mar 31, 2008 9:38:22 PM (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

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