idris2-tutorial

Adding a new exercise and solution to Section 5.1 (#83)

added suggested exercise (#85)

added solution without mapMaybe (#84)

Folds: some nicer solutions (#75)

2 typos corrected (#76)