A clear look at types and their relationships in mathematics.
― 5 min read
Cutting edge science explained simply
A clear look at types and their relationships in mathematics.
― 5 min read
An overview of inductive types, conditions, and their role in programming.
― 6 min read