You're right, the program can be written in many ways, but they simplify some of the calculations.

it makes it understandable for me, though, since i'm quite a beginner haha.

it is necessary otherwise for empty list it will return [0,0] rather than []

Maths FTW!

yes u are right
for his solution need to code that:
"-".join([st.split()[loc]]*num)

Same. Never before have I seen it used or even heard of it. Immediately down the rabbit hole!

TL;DR: Look at the lambda calculus definition of church_pow - (ce cb) f x.
Functions inside brackets are composed ; functions on the outside are just parameters for the previous function.
You can translate this definition into this resulting call ce(cb)(f)(x).
You can leave out each parameter that is not included inside brackets.
The same goes for church_mul: c1 (c2 f) x becomes c1(c2(f))(x), meaning you can leave out the x.

Thanks

😉

Well your solution is pretty much the same. The trick is that if you end up with a function like lambda x: some_term(x), then thats the same as some_term by itself (as long as it doesnt contain x. For example in regular python, you wouldnt write map(lambda x: len(x), xs), you'd just write map(len, xs).

If you apply this to your solution, it gets this compact too :)

@ColeLikesCoding Clarifying: I think using match is preferrable. English is not my first language so I may have said in a way that implied the opposite.