Commit 2021-06-22 14:47 c1e1d52d

View on Github →

list(basic): Add repeat & repeat succ (#16)

Estimated changes

added def List.repeat
added def List.repeatSucc