Jump to Question
Rholang is not rho calculus, though it's built on top of it. Does the Google doc "rholang spec 0.1" record the current specification?
There's a comment that the latest grammar is here:
https://github.com/rchain/Rholang/blob/master/src/main/bnfc/rholang.cf
Is that up to date? If so, the grammar says
CVar. Chan ::= Var ;
CQuote. Chan ::= "@" Proc3 ;
PDrop. Proc3 ::= "*" Chan ;
PInject. Proc3 ::= "#" Chan ;
In which the only ground terms are identifiers; none of the rest of the Proc structure is referenced. Is the intent eventually to support quoting all rholang processes?
Need to follow up with a meeting to discuss, and finalize the specification as a result of the developer retreat. Medha Parlikar (Unlicensed) to schedule a discussion? Michael Stay (Unlicensed) please confirm.