Reverse the List of Integers

https://mathstodon.xyz/@two_star/112242224494626411