Hacker News new | ask | show | jobs
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (homotopytypetheory.org)
1 points by vimes656 3555 days ago