Type-definitions with higher-oder lambda? Dr. Arne Babenhauserheide (03 Feb 2021 23:14 UTC)
Re: Type-definitions with higher-oder lambda? Lassi Kortela (04 Feb 2021 07:42 UTC)
Re: Type-definitions with higher-oder lambda? Marc Nieper-Wißkirchen (08 Feb 2021 07:53 UTC)

Type-definitions with higher-oder lambda? Dr. Arne Babenhauserheide 03 Feb 2021 23:10 UTC
Hi,

Is there a usecase for allowing a macro instead of a procedure-call as
the first element?

Best wishes,
Arne
--
Unpolitisch sein
heißt politisch sein
ohne es zu merken