HoTTSQL: Proving Query Rewrites with Univalent SQL Semanticshomotopytypetheory.org1 point·vimes656··0 commentsOpen articleSaveView on HN