Michael Färber

P.S.: And all the best to you to recover energy / time! :)

> Well, it captures the state of an expression without evaluating it fully first. This can seem like details, but it's important details since the co-expression might not finish --...

> As to syntax, the reason I used `@` was only really that Icon does that too :) > > I understand the conflict with `@` and am a bit...

> > Would `range(infinite) as $@s | ($@s, $@s)` yield `0, 1`? > > Yes, of course. The co-expression would retain its state between invocations. Thanks for confirming! > Notice...

> This appears probably because only unary symbol can be defined as prefix thanks to the command `notation` (even if it is not mention in the Lambdapi documentation). @amelieled, it...

> i guess in jaq you check that the count is 1 etc? That happens under the hood, yes: [The code in question](https://github.com/01mf02/jaq/blob/303f5d7f8df00f38c79376a4c028179d10c20cf8/jaq-json/src/lib.rs#L516) calls [`Rc::make_mut`](https://doc.rust-lang.org/std/rc/struct.Rc.html#method.make_mut), which will retrieve the actual...