GitHub repository: nielstron/fupv_altklausuren
Primary language: OCaml
Description: Beispielbearbeitungen von Aufgaben aus dem Fach Funktionale Programmierung und Verifikation