Problem 22

(Easy 🌟) Create a list containing all integers within a given range.

def range (m n : Int) : List Int :=
  sorry

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

example : range 4 9 = [4, 5, 6, 7, 8, 9] := by rfl

example : range (-1) 2 = [-1, 0, 1, 2] := by rfl

example : range (-2) (-1) = [-2, -1] := by rfl