Suggest: delete folders that are not linked to

[richelbilderbeek]

Depends on:

• Decide upon repo folder structure #139

On November 26th, 3 days ago, a new release of this course came out: https://github.com/UPPMAX/programming_formalisms/releases/tag/v0.8.1

There are, however, quite some folders we do not use. I suggest to remove these: we have git :-)

To make it easy: I suggest to, at a certain date, to delete folders that are not linked to by any means: if the tests are happy, we are happy 👍

[richelbilderbeek]

I vote yes! I think January 1st is a great day to clean up!

[QuantumTwitch]

I think we should have a meeting where we go through and decide on a fixed structure and then move what needs to be moved to the proper places. A walkthrough of the repository as it looks today after that we do a move and delete according to established schedule

[bclaremar]

Agree to Lars

[richelbilderbeek]

I've cut out the decision on the folder structure to #139.

After that, I again suggest to delete all files that are not linked to.