Heyo, On Mon, 16 Aug 2021, 02:04 Tobias Nyholm, <tobias.nyh...@gmail.com> 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, <tobias.nyh...@gmail.com> wrote:
> It is to correct a mistake No mistake: the "pure intersection types" RFC was explicitly designed to avoid scope creep (this RFC).