Can we say that functions in cubical type theory are CuTT Pi's?
Mamot.fr est une serveur Mastodon francophone, géré par La Quadrature du Net.
