[Ur] Inserting multiple tuples at once?

[Adam Chlipala]

Sounds like a good candidate for opening on GitHub as a feature request.

On 03/31/2017 01:27 PM, Marko Schütz-Schmuck wrote:
> I noticed that batch.ur issues repeated inserts for all the tuples. 
> Checking the manual I saw that urweb does not allow multiple tuples to 
> appear as the values of an insert statement, but sqlite, MySQL and 
> postgresql all allow multiple tuples. Some time ago I was using 
> postgresql for very large tables and inserting large batches of tuples 
> at once speeded it up noticeably (copy helped even more).