Solved assignments for the ETH Zurich course "Formal Methods and Functional Programming" (SS13)