Re: [PATCH v2 2/2] git-gui: revert untracked files by deleting them
From: Philip Oakley <hidden>
Date: 2019-11-12 10:45:58
From: Philip Oakley <hidden>
Date: 2019-11-12 10:45:58
On 12/11/2019 04:49, Jonathan Gilbert wrote:
On Mon, Nov 11, 2019 at 4:59 PM Philip Oakley [off-list ref] wrote:quoted
sounds like "Currying" a function but with the parameters taken in any order, though, in a sense, perhaps not generating intermediate functions...It's like currying if you could pass g(x) = f(x, y) to one block of code and h(y) = f(x, y) to another block of code, so that each of g and h are each like curried versions of f that "bake in" one of the arguments, without having to know which one will get called first. :-) Jonathan Gilbert
So that would be called "Chording"... (Is there a 'proper' technical term for that approach?) P.