I got something working: codegolf.stackexchange.com/questions/190758/church-subtraction/…. Am still curious if there are any other approaches that can be made to work.

@Adám is there a way for ⎕R to handle multiline strings?

Or even your QuadR wrapper

@J.Sallé 'AB\nCD'⎕R'EF'⍠'Mode' 'D'

I should've mentioned the multiline string is an input >.>

@J.Sallé that does make a multiline input work

Oh, okay. Let me see if I can port that to QuadRS though

Huh, I'd have thought this would work, per the docs for QuadRS

@J.Sallé regex sucks, instead of . you have to use [^something] or (\w\W) to also match newline

Nevermind, got it working now

I don't think it is though

@J.Sallé why 2 |?

@dzaima Too much Java/postgresql I guess

some regex engines are awesome and either let [^] be used or have a flag that enables newlines to match . but i guess not APLs

actually no apl does have that - arg a

Yeah, I looked through a bunch of PCRE docs but couldn't find anything

@dzaima aaaaaaaah, nice!

I guess I have to cound both arguments in the byte count?

So it'll be 14+2

IIRC args aren't counted in bytecounts anymore but as a part of the language "name" (which is pretty abusive here)

hm, okay I guess

I ain't complanin'

@J.Sallé Well, you have it all sorted now, so just a note that QuadR allows combining args, so you can put da in a single arg field.

@Adám Okay, noted!