kappelmann/eidi2_repetitorium_tum

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

语言：OCaml · GitHub 星标：16 · Fork：9

话题：big-step · eidi · eidi-2 · eidi2 · eidi2-revision-course · fpv · functional-programming · munich

在 GitHub 上查看原仓库