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/