search

RileyEv / CircuitFlow

Dataflow DSL, using Symmetric Monoidal Categories
https://circuitflow.rly.rocks/
BSD 3-Clause "New" or "Revised" License
6 stars 2 forks source link

ReplicateManyN #54

Open RileyEv opened 3 years ago

RileyEv commented 3 years ago

replicateManyN :: Length xs ~ m => SNat n -> SNat m -> xs -> Repeat n xs