Rearrange 6th and 7th parts of the tutorial? #10
Description
To be able solve one of the exercises in 6th lesson (namely the exercise about Maybe monad), you need to know what a dependent \case is, and this is explained only in the 7th lesson. Maybe rearrange these lessons?