Changes between Version 2 and Version 3 of OverloadedLists


Ignore:
Timestamp:
Nov 6, 2012 3:09:19 PM (2 years ago)
Author:
giorgidze
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • OverloadedLists

    v2 v3  
    143143}}} 
    144144 
    145 Here, just like for expression, we propose to overload list patterns that use 
     145Here, just like for expressions, we propose to overload list patterns that use 
    146146square brackets. The {{{:}}} infix operator will remain list specific both in 
    147147expressions and patterns. In other words, {{{:}}} is not overloaded.