Open RileyEv opened 3 years ago
Able to replicate multiple inputs.
replicateMany :: Length xs ~ n => SNat n -> xs -> Repeat n xs
Able to replicate multiple inputs.
replicateMany :: Length xs ~ n => SNat n -> xs -> Repeat n xs