GitHub repository: ps-tuebingen/pl1-2024-hw11-lambdakalkulreduziererinnen
Description: ps-tuebingen-pl1-2024-pl1-2024-hw11-pl1-2024-hw-template created by GitHub Classroom