Eugen Wissner 9d15b83164 Make the tutorial to compile again ...

- Remove generated documentation leaving only documentation sources.
- Add CI job checking that the tutorial is up to date.

2019-07-20 07:11:10 +02:00

..

tutorial.lhs

Make the tutorial to compile again

2019-07-20 07:11:10 +02:00