Re: [Core] new safeness condition

> Looks sound, but implies that finiteness is no longer is requested.
> Was that what was agreed? (Am just catching up with reading minutes)

My sense of the group was that everyone present prefered to give up on
finiteness, but we told that you had an argument for it, so we wanted to
wait until we'd at least heard that argument.  (Something about datalog
implementations, I think.)

     -- Sandro

Received on Monday, 26 January 2009 16:54:57 UTC