Functional Programming and Verification (EIDI2) Revision Course - Technical University of Munich (TUM)

This repository is intended for the Functional Programming and Verification revision courses (Funktionale Programmierung und Verifikation Repetitiorien) 2016 and 2017 at the Technical University of Munich (TUM).

How should I prepare for the exam?

Use the schedule 2017/README.

I found a mistake/typo

Please open an issue or pull request or contact me by email.

Contact

[email protected]

https://kappelmann.me

Thanks to

• Daniel Schubert
  • 2016/big_step/exercises/BigStep
  • 2016/signatures/exercises/more_signatures
  • http://denkaktiv.de/signatureTraining/