Solutions for Chapter2#550

Open

guntbert wants to merge 13 commits intokowainik:mainfrom

guntbert:chapter2

Commits on Oct 13, 2022

Part 1 for Chapter 1
G. Reiter
committed

Commits on Oct 14, 2022

Finished Chapter1
Guntbert Reiter
committed
Chapter2 - the easy part
G. Reiter
committed

Commits on Oct 15, 2022

Next 2 functions
Guntbert Reiter
committed
Task 5
Guntbert Reiter
committed
Task 6
Guntbert Reiter
committed

Commits on Oct 16, 2022

Task 6 using pattern matching
Guntbert Reiter
committed

Commits on Oct 17, 2022

Task: smartReplicate
G. Reiter
committed
Task: contains
G. Reiter
committed
Task: eta-reduction
G. Reiter
committed
Implement all upto 'rewind'
G. Reiter
committed

Commits on Oct 18, 2022

And now rewind works as well
G. Reiter
committed
Get rid of some warnings
G. Reiter
committed