1,281 followers
@Blaisorblade Out of my depth here (need to make time for the cubical type theory paper!), but could https://t.co/N4llJJofpF help?
@Blaisorblade Out of my depth here (need to make time for the cubical type theory paper!), but could https://t.co/N4llJJofpF help?