Once the CSP fragment setup mentioned in the recent issues has solidified, I need to add them (and their semantics) to the report. This'll be a little different from sequences, since they form a separate strand of the RoboCert language. (My mental model atm is that RoboCert is almost like the set of libraries in TikZ; each separately documented but sitting on top of a core language?)
MattWindsor91
commented
3 years ago
Once the CSP fragment setup mentioned in the recent issues has solidified, I need to add them (and their semantics) to the report. This'll be a little different from sequences, since they form a separate strand of the RoboCert language. (My mental model atm is that RoboCert is almost like the set of libraries in TikZ; each separately documented but sitting on top of a core language?)