This repository has been archived on 2024-10-24. You can view files and clone it, but cannot push or open issues or pull requests.

…
..
workflows@6dd607eb89
AbgabeH10-1.hs
H10-2.hs
H10-3.hs
ProMo_Uebung10.pdf