(* 5 6)

(def (repeat n val)
  (if (<=' n 0)
    (#Nil [])
    (#Cons [val (repeat (-' n 1) val)])))

(repeat 5 5)

(def (fold f init inputs)
  (case inputs
    (#Nil [])            init
    (#Cons [head tail]) (fold f (f init head) tail)))

(fold * 1 (repeat 5 5))