On Thu, Dec 16, 2021 at 6:35 AM Danilo Kordic <danilo.kor...@gmail.com> wrote:
> Hi pd > > It seems You are looking for Wikipedia/Currying . What are Your further > thoughts? > No I don't > > What do You think about Wikipedia/De_Bruijn_index ? > I think it's an interesting proposal for using with lambda calculus. I'm not using Wikipedia at all and both questions you wrote are not related at all with what I was talking about (well they're related as a theorical level since are questions related to lambda calculus, of course, but not for the questions I'm discusing here) regards