On seasons

Give an inductive type for seasons.

Solution

Look at this file
(Continue with this exercise )