name: list-replicate version: 1.55 description: The list replicate function author: Joe Leslie-Hurd license: MIT requires: bool requires: list-append requires: list-def requires: list-length requires: list-map requires: list-nth requires: list-set requires: list-thm requires: natural requires: set show: "Data.Bool" show: "Data.List" show: "Number.Natural" show: "Set" def { package: list-replicate-def-1.46 } thm { import: def package: list-replicate-thm-1.57 } main { import: def import: thm }