HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)arxiv.org1 point·robertothais··0 commentsOpen articleSaveView on HN