dhall-1.11.0: Prelude/List/reverse

{-
Reverse a list

Examples:

```
./reverse Integer [ 0, 1, 2 ] = [ 2, 1, 0 ] : List Integer

./reverse Integer ([] : List Integer) = [] : List Integer
```
-}
let reverse : ∀(a : Type) → List a → List a = List/reverse in reverse