Changes between Version 27 and Version 28 of RemovalCandidates


Ignore:
Timestamp:
Mar 2, 2006 12:06:03 AM (8 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RemovalCandidates

    v27 v28  
    1111   * Against removal: Everyone uses them.  Lots of legacy code.  Expressing recursion over numbers is more verbose 
    1212     without these patterns. 
     13   * (JL). Recommend making these monomophic. Either (a) always Integer (or Natural if it gets added), or (b) subject to monomorhism restriction and defaulting. 
    1314 * NegativeSyntax 
    1415 * ~ patterns