Candidates for lambdacube-examples

No candidates exist for lambdacube-examples. Upload one for this or another package?