[m-users.] higher order issue: `ground` seen but expecting higher-order pred

[Volker Wysk]

Am Donnerstag, dem 06.10.2022 um 19:53 +1100 schrieb Mark Brown:
> > On 6 Oct 2022, at 07:14, Volker Wysk <post at volker-wysk.de> wrote:
> 
> > > Ralph's tutorial has a section on univs, which are existentially
> > typed. However, the connection may not be completely clear as Ralph
> > has evidently avoided language that is too formal.
> > 
> > 
> > ... and existential types aren't covered.
> 
> Check out the univ.m module in the standard library. It's a short
> module, and univs are a simple example of existentially typed data.

That's a good tip. Thanks.

Volker
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.mercurylang.org/archives/users/attachments/20221006/67dd3112/attachment-0001.sig>