Rearrange 6th and 7th parts of the tutorial?

arend-lang / tutorial-code

Source code & exercises in Arend's documentation

https://arend-lang.github.io/documentation/tutorial

Apache License 2.0

21 stars 9 forks source link

Rearrange 6th and 7th parts of the tutorial? #10

Open sxhya opened 1 year ago

sxhya commented 1 year ago

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?