(* 5 6)

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

(repeat 5 5)