>
{current_pages}
Running this page, clicking on "add page", and then refreshing gives an error
in Firefox's developer console.
— Peter
On Fri, 3 Nov 2017, at 13:00, Adam Chlipala wrote:
> On 11/02/2017 11:19 PM, Artyom Shalkhakov wrote:
> > 2
Hi,
It seems to me that it's not possible to store xml in a database. Is there any
reason for this?
My understanding of ur/web is that the xml data type is—under the hood—simply a
string. I therefore would have thought it would be trivial to store it in a
database.
As a minimal example:
Thanks for the quick reply!
On Sun, 9 Jul 2017, at 23:22, Adam Chlipala wrote:
> Short answer: I can't think of any way to implement that feature, with
> Ur as it stands today.
>
> It seems consistent with the model of Ur in Coq, though the
> representation of rows might need to be extended to
locally. The second
version works, but it's not a binder proper, so it "pushes" the problem of
finding a suitable name further out. Said another way, the first version is
modular while the second is not.
While it is straight forward to implement the second version,
