from Hacker News

Introduction to Cubical Type Theory

by presheaf on 11/30/22, 9:14 PM with 0 comments