Problem 5

(Easy 🌟) Reverse a list.

variable {α : Type}

def myReverse (l : List α) : List α :=
  sorry

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

example : myReverse [1, 2, 3, 4] = [4, 3, 2, 1] := rfl

example : myReverse ["man", "plan", "canal", "panama"]
  = ["panama", "canal", "plan", "man"] := rfl