— single file · local until Build/Run
Press Check, or just start typing.
Build compiles with the native Quidra toolchain. Run compiles and executes the program.
Press IR to lower the program to typed Quidra IR.
Press Inspect to see the compiler's structural view of this source.
A structured edit, keyed by node id and content hash. The compiler refuses a patch whose result would not check, and refuses one built against an older revision, so the source below is only ever replaced by something that compiles.