Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Source code for lecture "Functional programming and type theory" in summer semester 2015 at TU Dresden - http://lat.inf.tu-dresden.de/teaching/ss2015/FPT/
Discover projects, groups and snippets. Share your projects with others
Source code for lecture "Functional programming and type theory" in summer semester 2015 at TU Dresden - http://lat.inf.tu-dresden.de/teaching/ss2015/FPT/