JeanKa

good to know. I am curious why you would disagree with the first point though :)

> @jkrivine How would you give allowance to someone to withdraw on your behalf? well, you can borrow on someone's behalf by using a special approval of the debt token,...

Yes I like this feature. The main problem is the "stopping time" issue which imposes that the precondition for a perturbation depending on time should be of the form T=n....

I meant one is constrained to use inequalities. So I thought there should be a GUI way of preventing illegal pausing conditions.

Also now when blanking the pause condition, WebSim suggests [T] = 100 in grey which is the forbidden expression. BTW it is weird from a user standpoint that [T] =...

I don't understand. If I write %agent: A(x) This does not mean that A cannot bind B on x right? So I don't understand why %agent: A(x!x.B) %agent: B(x) should...

Here is a suggestion: [1] We need a special symbol for "free", let us say "A(x!*)" and here A(x) means the old symbol A(x?) [2] We define two sorts of...

Yes precisely @feret