9 days 6h 08min 18s remaining to submit an entry

Summer of Math Exposition

Co-Induction

A short article introducing inductive and coinductive types, and the technique of coinduction.



thumbnail