Practical part of the LambdaThesis project