search

programming-formalisms / programming_formalisms_project_summer_2023

The Programming Formalisms project of summer 2023
https://github.com/UPPMAX/programming_formalisms
GNU General Public License v3.0
0 stars 0 forks source link

TinclG #34

Closed TinclG closed 1 year ago

richelbilderbeek commented 1 year ago

@TinclG well done! Too bad, your PR will give a merge conflict. Could you fix it and try again? Good luck :+1:

richelbilderbeek commented 1 year ago

I will close this PR, as the course is over. If the submitter wants to try again, I'd be happy to review again :-)