I thought I remembered a KEEP about union and intersection types, but can now find no traces of it. Anyone know where it went?
I thought I remembered a KEEP about union and intersection types, but can now find no traces of it. Anyone know where it went?