That's pretty funny. I'm sure memorizing the differences between the Hausdorff, ...

		E6300 on May 9, 2017 \| parent \| context \| favorite \| on: The Pain of Real Linear Types in Rust That's pretty funny. I'm sure memorizing the differences between the Hausdorff, the completely Hausdorff, the regular Hausdorff, the normal Hausdorff, the completely normal Hausdorff, and the perfectly normal Hausdorff must be fun.