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?