tutorial-code icon indicating copy to clipboard operation
tutorial-code copied to clipboard

Published 20 hours ago • verified publisher icon arend-lang

Rearrange 6th and 7th parts of the tutorial?

Open sxhya opened this issue 1 year ago • 0 comments

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?

sxhya avatar Mar 22 '23 19:03 sxhya