optimize flat_repeat - Githubissues

ctrekker / Deductive.jl

A package for expressing and automatically proving logical statements symbolically in Julia

MIT License

19 stars 2 forks source link

Closed vtjnash closed 1 year ago

vtjnash commented 2 years ago

I wasn't sure whether this meant Iterators.repeated or Base.repeat, but it seems it meant fill.