Gemeinsame Changes von Discord #19

Merged
i22005 merged 7 commits from Tests into main 2024-07-02 12:50:57 +00:00
No Reviewers
No Label
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: i22005/NichtHaskell2.0#19
No description provided.