419593 (17) [Avatar] Offline
#1
my_reverse_help (xs ++ [x]) (Snoc rec x) = x :: my_reverse_help xs rec

steps 2
my_reverse (xs ++ [x]) | (Snoc rec x) = ?my_reverse_rhs_2

step 3
my_reverse (xs ++ [x]) | (Snoc rec x) = ?my_reverse_rhs_2