H homotopytypetheory.org HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics 1 points vimes656 10 years ago 0 comments
