Candidates for lambda-calculator

No candidates exist for lambda-calculator. Upload one for this or another package?