Talk:User defined pipe and redirection operators: Difference between revisions
Content added Content deleted
(→comments after writing the J implementation: new section) |
(→comments after writing the J implementation: I agree.) |
||
Line 196: | Line 196: | ||
Of course, there are cases where the techniques used in this task are useful. Unfortunately, this task is not currently one of those cases. --[[User:Rdm|Rdm]] 15:46, 16 September 2011 (UTC) |
Of course, there are cases where the techniques used in this task are useful. Unfortunately, this task is not currently one of those cases. --[[User:Rdm|Rdm]] 15:46, 16 September 2011 (UTC) |
||
:Then lets hope the task stays as draft until you've had time to discuss this with the original author as others have made similar comments, and I read the task and decided to wait before starting on a Python solution . --[[User:Paddy3118|Paddy3118]] 15:58, 16 September 2011 (UTC) |