Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Homework
Just pushed the repository. Homework until next thursday - fill in the blanks in the Lambda.mmt file (they’re commented as “homework”) 
The eta-rule you can check in the slides.