mirror of
https://github.com/dhall-lang/dhall-kubernetes.git
synced 2024-09-19 03:17:33 +03:00
13 lines
235 B
Plaintext
13 lines
235 B
Plaintext
{-
|
|
Reverse a list
|
|
|
|
Examples:
|
|
|
|
```
|
|
./reverse Natural [ 0, 1, 2 ] = [ 2, 1, 0 ] : List Natural
|
|
|
|
./reverse Natural ([] : List Natural) = [] : List Natural
|
|
```
|
|
-}
|
|
let reverse : ∀(a : Type) → List a → List a = List/reverse in reverse
|