Problem 16

(Intermediate 🌟🌟) Drop every N'th element from a list.

variable {α : Type}

def dropEvery (l : List α) (n : Nat) : List α :=
  sorry

-- The following codes are for test and you should not edit these.

example : dropEvery [1, 2, 3] 0 = [1, 2, 3] := by rfl

example : dropEvery ['a', 'b', 'c', 'd'] 2 = ['a', 'c'] := by rfl

example : dropEvery ['a', 'b', '3', 'c', 'd', '6', 'e'] 3
  = ['a', 'b', 'c', 'd', 'e'] := by rfl