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 <[email protected]> wrote: > Trolls!? > > On Thu, Dec 16, 2021, 02:59 Erik Gustafson <[email protected]> > 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. >> >
