On seasons
Give an inductive type for seasons.
Solution
Look at
this file
(Continue with
this exercise
)