Yes! Having functions of the schematic form
f(x: a >> b) : c
is one of the most amazing and original features of ATS. I remember my hair
literally standing on end when I first saw it.
Very much looking forward to ATS3!
lördag 5 juni 2021 kl. 15:36:24 UTC+2 skrev gmhwxi:
> FYI.
>
> Functional p
Wow! That is wonderful news! I recall reading on here somewhere that you
had trouble combining templates with HM type-checking, or something. It
makes me very happy that you powered through the obstacles.
torsdag 4 juli 2024 kl. 00:42:47 UTC+2 skrev gmhwxi:
> Hi, ats-lang-users,
>
> I have been
