Homework and stuff This repository contains my "homework" for University of Hagen's course 1816: logical and functional programming. The "homework" is not graded and can therefore be shared freely. So do not worry about it ;-).