Bend/tests/golden_tests/run_file/list_reverse_imp.bend
2024-05-29 09:57:40 +02:00

14 lines
281 B
Plaintext

def reverse(list):
fold list with acc = []:
case List/Nil:
return acc
case List/Cons:
return list.tail(List/Cons(list.head, acc))
def main:
bend n = 5:
when n != 0:
xs = List/Cons(n, fork(n - 1))
else:
xs = List/Nil
return reverse(xs)