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