Talk:Flurry

Hi! I'm trying to implement Flurry and I've got a question, the wiki page says that <><> is the I combinator however SKSK evaluates to the K combinator and not the I one, the I combinator would be <>(), SKK.

<> represents the expression (SK) and is not a literal substitute for SK. Thus <><> is expanded as (SK)(SK). Challenger5 (talk) 00:58, 31 March 2020 (UTC)

Thanks for your answer. I've got another question, how many arguments the function returned by {f} takes ? Yul3n (talk) 08:26, 31 March 2020 (UTC)

Would it be possible to have more examples and explanations in order to do an implementation. Yul3n (talk) 13:20, 31 March 2020 (UTC)

Just finished an edit that clarified the specification and made a few changes (including making the evaluation order make more sense). I also added a few more examples. Challenger5 (talk) 00:25, 1 April 2020 (UTC)

Thanks for your support! I've finished my implementation, here it is : https://github.com/Yul3n/esoo/blob/master/flurry/flurry.ml. Yul3n (talk) 15:27, 2 April 2020 (UTC)