Leo Cavalcante
Olavo
1

For a more simple understanding: https://flow.org/en/docs/lang/subtypes/

For a complex deepening:
https://en.wikipedia.org/wiki/Type_theory

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.