Co-Induction
A short article introducing inductive and coinductive types, and the technique of coinduction.
We'd love your feedback! Please take a minute to share your thoughts.
→ Summer of Math Exposition
A short article introducing inductive and coinductive types, and the technique of coinduction.