Purpose
The purpose of this page is to capture proposals of syntactic sugaring to benefit users of Rholang and to track discussion and decision-making related to these proposals.
...
| Proposal | Discussion | Decision |
|---|---|---|
let PLet. Proc2 ::= "let" [Binding] "in" "{" Proc3 "}"; BindingProcToPat. Binding ::= [Name] NameRemainder "<-" Proc3 ; | prototyped in PR #2055 see also RCHAIN-2641 The delimiter shown is ←; should it be =? |