RCE playground

Type an RCE program. The reference checker, compiled to WebAssembly, parses, type checks and admits it in your browser and runs every example. Nothing is sent to a server.

Indent with spaces; a tab is refused (W-LEX-1). Put # rce-version: 0.8 on the first line for language version 0.8 (context-typed text, Secret, Cap, Guarded; spec 5.16) or # rce-version: 0.7 for 0.7 (spec 2.7); without it a module is version 0.5.

loading the checker...
Form (JSON)

    
The playground checks programs and shows their example traces. To run fn main() or emit Rust, Python or JavaScript, install rce (see the specification README).