[m-users.] Missing mode for list.head?

Volker Wysk post at volker-wysk.de
Thu Mar 14 23:46:02 AEDT 2019


Am Donnerstag, 14. März 2019, 10:43:42 CET schrieb Julien Fischer:
> The standard library doesn't make much use of inst subtyping or other
> more advanced features of the mode system.  This is in part due to
> limitations in the mode checker and in part, simply for historical
> reasons.

What a pity!

Bye,
Volker




More information about the users mailing list