Hi pd It seems You are looking for Wikipedia/Currying . What are Your further thoughts?
What do You think about Wikipedia/De_Bruijn_index ? On Thu, Dec 16, 2021, 06:27 Danilo Kordic <danilo.kor...@gmail.com> wrote: > Trolls!? > > On Thu, Dec 16, 2021, 02:59 Erik Gustafson <erik.d.gustaf...@gmail.com> > wrote: > >> Sorry all, >> >> I regret my 'Feature Request' mail, pushing additional complexity >> to the language to make a few lines of code more aesthetically pleasing >> (to me), and awakening the trolls. >> >