Proposal: Allow copying multiple files to the same destination via `(::)copy([...], dest)`

[maowtm]

What do you think...
This does make (::)copy polymorphic though

[mechtaev]

Yes, it makes sense to do after we add polymorphism, because Dockefiles also support copying multiple files.

[maowtm]

We can already do it since we don't have type checking yet, and basically when we add type checking we will need to be able to do polymorphism.

[mechtaev]

Not sure of dynamic typing is suitable for Datalog. In Prolog, exceptions are thrown when an argument is of a wrong type. If we just implement logical failures, it might be hard to debug.