Equational Programming 2018-2019

Contents

Equational Programming (course code 401011) is a course in the
minor Deep Programming about the foundations of functional programming.
The theoretical part of the course is concerned with lambda calculus
and equational specifications, and possibly also the basics of term rewriting.
The practical part consists of exercises in the functional programming language
Haskell.