Re: [ats-lang-users] ATS2-0.4.0 released

[Chris D. <chr...@do...>]

On Wed, Dec 25, 2019 at 3:58 PM Hongwei Xi <hw...@bu...> wrote:
> 2. Introducing various keywords (e.g., atstflt, atsvtflt), which are
>    used in the implementation of ATS3(ATS/Xanadu)

What do these keywords do, out of curiosity?

-- 
https://bluishcoder.co.nz