hr contest lambda_calculi_jul14

moved files