This post is from a low-reputation account and contains an unverified outbound link. Be cautious before clicking external links.

13 - Scala. Dependent pair type (Σ-type). Part 1

Words
7
Reading
1 min
7y
Listen to this post
~1 min


Lector: Dmytro Mitin


▶️ DTube
▶️ IPFS
13 - Scala. Dependent pair type (Σ-type). Part 1 | Ecency