Heyo, On Mon, 16 Aug 2021, 02:04 Tobias Nyholm, <[email protected]> wrote:
> It is to correct a mistake No mistake: the "pure intersection types" RFC was explicitly designed to avoid scope creep (this RFC).
Heyo, On Mon, 16 Aug 2021, 02:04 Tobias Nyholm, <[email protected]> wrote:
> It is to correct a mistake No mistake: the "pure intersection types" RFC was explicitly designed to avoid scope creep (this RFC).