3 ms·Type Safety in Two Easy Lemmas2 points by matt_d 6y ago1propionyl 6y agoWith so many imported operators renamed with an added haček, it seems fair to call this type-Czeching. I'll see myself out.