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).
Use the schedule 2017/README.
Please open an issue or pull request or contact me by email.
- Daniel Schubert
- 2016/big_step/exercises/BigStep
- 2016/signatures/exercises/more_signatures
- http://denkaktiv.de/signatureTraining/