Alexander Senier

This is a new feature which should not delay 0.4.1 further.

> Here are some notes from Feb 14 about the specification language for sessions. I think it makes sense to collect that information here instead of leaving it on some...

I have the same problem. Nextcloud 27.0.1, Debian 12, Firefox 112.13.0esr.

Hi Alex, thanks! We haven't scheduled this feature for implementation, yet (mostly, because very few protocols require it). It would be interesting to know a bit more about your use...

@hurufu This is really different from what we have modeled so far (and yes, it looks a bit arcane :wink: ) If there is no length field, you'll definitely need...

@hurufu You're raising some interesting questions here :wink: We played around with that design idea a bit. What seemed a little awkward is that the field separators after `Name` and...

Cf. https://github.com/Componolit/RecordFlux-specifications/pull/8#discussion_r528601096

Ref. #764

Obsoleted by #1156

How about `given`? ```Ada generic Feature_X : Boolean; package Test is generic with function F1 return Boolean; with function F2 return Boolean given Feature_X; session Session is state S1 is...