The specification, in spec/book/ of the
rce repository, is the definition of
the language. Start with 00-overview.md. Section 7 lists every rule
name you saw in a refusal, such as W-OWN-1 or W-INT-1.
Version 0.6, in Appendix C of the specification
(spec/book/14-draft06-concurrency.md), adds par, budgets, workgroups,
LVars, sessions and supervisors to modules that declare
# rce-version: 0.6 on their first line.
The examples in the specification (spec/examples/) are small
programs for each feature, including programs that must be refused.
rce-examples has
longer programs grouped by area: simulation, control, media, networks,
text, data, money, science, systems and hardware.
rce-ide is an editor for RCE
that uses the same checker.