hr contest lambda_caluli_jul14
hr contests lambda-calculi-jul14 moved solutions