2 ms·Homotopy Type Theory for Dummies2 points by fanf2 1y agoabstractspoon 1y agoWhy are there still websites not using https?