Can we say that functions in cubical type theory are CuTT Pi's?
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!