Co-Induction A short article introducing inductive and coinductive types, and the technique of coinduction. More...
3blue1brown 3blue1brown