Repo should be made private

[Muon]

I’m the current head tutor for Declarative Programming. In the interest of academic integrity, I’d like to request that you make private or remove the Declarative Programming-related content you have published on your GitHub account. It is important to us that students do their own work. Could you please do this today or tomorrow, and notify me when you have done so? Thanks.