Candidates for agda-snippets

No candidates exist for agda-snippets. Upload one for this or another package?