basedpl 0.1.75 → 0.1.77

package/basedpl_wasm.js

@@ -97,6 +97,17 @@ export function name_cpu(name) {
     wasm.name_cpu(ptr0, len0);
 }
 
+/**
+ * The pauses before each retry of a timing that fails, in seconds: `rustymath::timing::RETRY_PAUSES`.
+ * @returns {Float64Array}
+ */
+export function retry_pauses() {
+    const ret = wasm.retry_pauses();
+    var v1 = getArrayF64FromWasm0(ret[0], ret[1]).slice();
+    wasm.__wbindgen_free(ret[0], ret[1] * 8, 8);
+    return v1;
+}
+
 /**
  * Every glyph's row, as JSON, for the language bar.
  * @returns {string}

package/bpl-editor.js

@@ -0,0 +1,471 @@
+// Generated by basedpl.editors.browser.
+export const grammar = {"name": "bpl", "displayName": "BPL", "scopeName": "source.bpl", "fileTypes": ["bpl"], "patterns": [{"begin": "[⍝]", "beginCaptures": {"0": {"name": "comment.line.bpl"}}, "end": "$", "contentName": "comment.line.bpl", "patterns": [], "applyEndPatternLast": true}, {"begin": "\"", "beginCaptures": {"0": {"name": "string.quoted.double.bpl"}}, "end": "\"|$", "contentName": "string.quoted.double.bpl", "patterns": [{"match": "\"\"", "name": "string.quoted.double.bpl"}], "applyEndPatternLast": true, "endCaptures": {"0": {"name": "string.quoted.double.bpl"}}}, {"match": "'.?'", "name": "string.quoted.single.bpl"}, {"match": "(?:_\\d+|_\\S|_|[^\\s\\p{Cc}0-9←⎕•⍺⍵⍶⍹∇⍢⍝⋄⁝\\?¯∞⍬\\+\\-×÷⌈⌊\\|\\*⍟○π√!∧∨⊼⊽\\~=≠<≤>≥⍳↦:⍴≢≡,⍪⊂⊃⊆∊∪∩⍋⍒↑↓⌽⊖⍉⊤⊥⍎⍕⌷⌹\\#↕⍭⨸⌻⍸⍷⊢⊣¿¨ᵇ⍨↣⍤∘⍠⍥↢\\.⊗⌸⍣⇄⊘@∂⍚⌺/⌿\\\\⍀⁰¹²³⁴⁵⁶⁷⁸⁹⁻ᵀᵘₓ₀₁₂₃₄₅₆₇₈₉₋ₓ₁ₓ₂ₓ₄ₓ₈ₓₕₛₚ\\(\\)\\[\\]\\{\\}'\";\\$_ₑⱼᵣ])+", "name": "variable.other.bpl"}, {"match": "[•][A-Za-z_∆⍙][A-Za-z0-9_∆⍙]*", "name": "support.function.bpl"}, {"match": "(?:[¯]?[∞]|[¯]?(\\d+([.]\\d+)?|[.]\\d+)([eEₑ][¯]?\\d+)?([jJⱼ][¯]?(\\d+([.]\\d+)?|[.]\\d+)([eEₑ][¯]?\\d+)?|[rᵣ][¯]?\\d+)?)(?:ₓ₁|ₓ₂|ₓ₄|ₓ₈|ₓ|ₕ|ₛ|ₚ)?|[ₑⱼᵣ]", "name": "constant.numeric.bpl"}, {"match": "[⍬](?:ₓ₁|ₓ₂|ₓ₄|ₓ₈|ₓ|ₕ|ₛ|ₚ)?", "name": "constant.numeric.bpl"}, {"match": "\\$[tfn]", "name": "constant.numeric.bpl"}, {"match": "\\$[ad]", "name": "string.quoted.double.bpl"}, {"begin": "[\\])](?=(?:ₓ₁|ₓ₂|ₓ₄|ₓ₈|ₓ|ₕ|ₛ|ₚ))", "beginCaptures": {"0": {"name": "source.bpl"}}, "end": "(?:ₓ₁|ₓ₂|ₓ₄|ₓ₈|ₓ|ₕ|ₛ|ₚ)|$", "contentName": "constant.numeric.bpl", "patterns": [], "applyEndPatternLast": true, "endCaptures": {"0": {"name": "constant.numeric.bpl"}}}, {"match": "[\\+\\-×÷⌈⌊\\|\\*⍟○π√!∧∨⊼⊽\\~=≠<≤>≥⍳↦:⍴≢≡,⍪⊂⊃⊆∊∪∩⍋⍒↑↓⌽⊖⍉⊤⊥⍎⍕⌷⌹\\#↕⍭⨸⌻⍸⍷⊢⊣¿]", "name": "support.function.bpl"}, {"match": "(?:ₓ₁|ₓ₂|ₓ₄|ₓ₈|ₓ|ₕ|ₛ|ₚ)", "name": "keyword.operator.monadic.bpl"}, {"match": "[¨ᵇ⍨⊗⌸⇄∂/⌿\\\\⍀⁰¹²³⁴⁵⁶⁷⁸⁹⁻ᵀᵘₓ]", "name": "keyword.operator.monadic.bpl"}, {"match": "[↣⍤∘⍠⍥↢\\.⍣⊘@⍚⌺]", "name": "keyword.operator.dyadic.bpl"}, {"match": "[⍺⍵⍶⍹∇⍢]", "name": "variable.parameter.bpl"}, {"match": "[←⎕⋄⁝\\?₀₁₂₃₄₅₆₇₈₉₋]", "name": "keyword.control.bpl"}]};
+export const configuration = {"comments": {"lineComment": "⍝"}, "brackets": [["(", ")"], ["[", "]"], ["{", "}"]], "autoClosingPairs": [{"open": "(", "close": ")", "notIn": ["string", "comment"]}, {"open": "[", "close": "]", "notIn": ["string", "comment"]}, {"open": "{", "close": "}", "notIn": ["string", "comment"]}, {"open": "\"", "close": "\"", "notIn": ["string", "comment"]}, {"open": "'", "close": "'", "notIn": ["string", "comment"]}], "surroundingPairs": [{"open": "(", "close": ")"}, {"open": "[", "close": "]"}, {"open": "{", "close": "}"}, {"open": "\"", "close": "\""}, {"open": "'", "close": "'"}]};
+export const editorOptions = {"fontFamily": "SAX2B, monospace", "unicodeHighlight": {"ambiguousCharacters": false}};
+const bar = // Based on Adám Brudzewsky's APL language bar: https://abrudz.github.io/lb
+// MIT License, Copyright (c) 2011-2020 Nikolay G. Nikolov and Adam Brudzevski.
+// BPL name completion, editor adapters, dark mode and overlay layout by Jeremy Howard.
+((symbols, input, layout) => {
+    function attach(monaco, container, magics = false) {
+        const d = container.ownerDocument, w = d.defaultView, events = new AbortController();
+        const on = (target, name, fn, capture = false) => target.addEventListener(name, fn, {capture, signal: events.signal});
+        const {inCode, bplStart, entry, press, reset} = input(symbols, layout);
+        const shortcuts = new Map(symbols.map(({glyph, shortcut}) => [glyph, shortcut]));
+        let leftAlt = false, rightAlt = false;
+
+        function textareaRect(t) {
+            const mirror = d.createElement('div'), caret = d.createElement('span'), css = getComputedStyle(t), rect = t.getBoundingClientRect();
+            for (const p of ['font', 'lineHeight', 'letterSpacing', 'padding', 'border', 'boxSizing', 'width', 'tabSize']) mirror.style[p] = css[p];
+            Object.assign(mirror.style, {position: 'fixed', visibility: 'hidden', whiteSpace: 'pre-wrap', overflowWrap: 'break-word',
+                left: `${rect.left - t.scrollLeft}px`, top: `${rect.top - t.scrollTop}px`});
+            mirror.textContent = t.value.slice(0, t.selectionStart);
+            caret.textContent = '\u200b';
+            mirror.append(caret);
+            d.body.append(mirror);
+            const result = caret.getBoundingClientRect();
+            mirror.remove();
+            return result;
+        }
+
+        function editor(target) {
+            if (target.closest?.('.text_cell, .jp-MarkdownCell')) return;
+            const m = monaco?.editor.getEditors().find(e => e.hasTextFocus());
+            if (m) {
+                const model = m.getModel(), p = m.getPosition(), selection = m.getSelection();
+                if (!model || !p || !selection) return;
+                const valid = () => m.getDomNode()?.isConnected && m.getModel() === model && !m.getOption(monaco.editor.EditorOption.readOnly)
+                    && (model.getLanguageId() === 'bpl' || magics && bplStart({text: model.getValue(), pos: model.getOffsetAt(m.getPosition())}) >= 0);
+                if (!valid()) return;
+                const e = {id: model, valid, text: model.getValue(), pos: model.getOffsetAt(p), empty: selection.isEmpty(), bpl: model.getLanguageId() === 'bpl',
+                    rect: () => {
+                        const r = m.getDomNode().getBoundingClientRect(), c = m.getScrolledVisiblePosition(p);
+                        return {left: r.left + c.left, bottom: r.top + c.top + c.height};
+                    },
+                    insert: (text, from) => {
+                        if (!valid()) return;
+                        const selection = m.getSelection();
+                        from ??= model.getOffsetAt(selection.getStartPosition());
+                        const a = model.getPositionAt(from), b = selection.getEndPosition();
+                        m.pushUndoStop();
+                        m.executeEdits('aplnb', [{range: {startLineNumber: a.lineNumber, startColumn: a.column,
+                            endLineNumber: b.lineNumber, endColumn: b.column}, text}], () => {
+                            const end = model.getPositionAt(from + text.length);
+                            return [new monaco.Selection(end.lineNumber, end.column, end.lineNumber, end.column)];
+                        });
+                        m.pushUndoStop();
+                        m.focus();
+                    }};
+                return bplStart(e) >= 0 ? e : undefined;
+            }
+            if (!magics) return;
+            const view = target.closest?.('.cm-editor')?.querySelector('.cm-content')?.cmTile?.view;
+            if (view) {
+                if (view.state.readOnly) return;
+                const sel = view.state.selection.main;
+                const e = {id: view, valid: () => view.dom.isConnected && !view.state.readOnly
+                    && bplStart({text: view.state.doc.toString(), pos: view.state.selection.main.head}) >= 0,
+                    text: view.state.doc.toString(), pos: sel.head, empty: sel.empty,
+                    rect: () => view.coordsAtPos(sel.head),
+                    insert: (text, from) => {
+                        if (!e.valid()) return;
+                        const sel = view.state.selection.main;
+                        from ??= sel.from;
+                        view.dispatch({changes: {from, to: sel.to, insert: text}, selection: {anchor: from + text.length}, userEvent: 'input.complete'});
+                        view.focus();
+                    }};
+                return bplStart(e) >= 0 ? e : undefined;
+            }
+            if (target.tagName !== 'TEXTAREA' || target.readOnly || target.disabled) return;
+            const e = {id: target, valid: () => target.isConnected && !target.readOnly && !target.disabled
+                && bplStart({text: target.value, pos: target.selectionStart, bpl: target.hasAttribute('data-bpl')}) >= 0,
+                text: target.value, pos: target.selectionStart, empty: target.selectionStart === target.selectionEnd, bpl: target.hasAttribute('data-bpl'),
+                rect: () => textareaRect(target),
+                insert: (text, from = target.selectionStart) => {
+                    if (!e.valid()) return;
+                    target.focus();
+                    target.selectionStart = from;
+                    d.execCommand('insertText', false, text);
+                }};
+            return bplStart(e) >= 0 ? e : undefined;
+        }
+
+        const host = d.createElement('div');
+        host.innerHTML = `<div class="ngn_lb" aria-label="BPL symbols"></div>
+            <div class="bpl_choices" role="group" aria-label="BPL symbol completions" hidden></div>
+            <style>
+            .ngn_lb,.bpl_choices{background:var(--bpl-bar-background,#eee);color:var(--bpl-bar-color,#111);font:15px var(--bpl-font,SAX2B),monospace}
+            .ngn_lb{border-bottom:1px solid #999;padding:2px}
+            .ngn_lb button,.bpl_choices button{font:inherit;color:inherit;background:none;border:0;cursor:pointer;padding:2px 4px}
+            .ngn_lb button:hover,.bpl_choices button:hover{background:#777;color:white}
+            .bpl_choices{position:fixed;z-index:2147483647;max-height:240px;max-width:calc(100vw - 16px);overflow:auto;border:1px solid #888;border-radius:4px;box-shadow:0 3px 12px #0003;padding:4px}
+            .bpl_choices button{display:block;width:100%;text-align:left;white-space:nowrap}
+            .bpl_choices small{display:block;padding:4px}
+            .ngn_lb .bpl_dead::after{content:'▾';font-size:9px;margin-left:1px}
+            .bpl_choices.bpl_menu{max-width:min(320px,calc(100vw - 16px))}
+            .bpl_menu button{display:inline-block;width:auto;min-width:28px;text-align:center}
+            </style>`;
+        container.append(host);
+        const bar = host.querySelector('.ngn_lb'), tip = host.querySelector('.bpl_choices');
+        let active, lastEditor, choice, keyInput = false;
+        const names = new Map(symbols.map(({glyph, name, monad, dyad}) =>
+            [glyph, [name, monad, dyad].filter(Boolean).join(' ')]));
+        function stateGlyphs(state) {
+            const {terminator, keys} = layout.states[state];
+            return [terminator, ...Object.values(keys).flatMap(value => typeof value === 'string' ? [value] : stateGlyphs(value.state))];
+        }
+        const groups = new Map(Object.values(layout.option).filter(value => value.state).map(({state}) =>
+            [layout.states[state].terminator, [...new Set(stateGlyphs(state))]]));
+        const variants = new Set([...groups.values()].flatMap(glyphs => glyphs.slice(1)));
+        function button(glyph, name) {
+            const b = d.createElement('button');
+            b.type = 'button'; b.textContent = glyph; b.title = (name || glyph) + (shortcuts.get(glyph) || ''); b.dataset.glyph = glyph;
+            return b;
+        }
+        // Related glyphs stay together; arrows meet at the boundary between menus and plain buttons.
+        const order = [...new Set([
+            ...'^_¯¨○⎕≡⍭↑↓←↦↢↣⇄∨∧⍺⍵∆∇⋄∊⍳⊂⊃∩∪⊥⊤⊣⊢×÷⌊⌈≤≥≠√π', ...groups.keys(), ...names.keys()
+        ])];
+        for (const glyph of [...order.filter(g => groups.has(g)), ...order.filter(g => !groups.has(g))]) {
+            if (!groups.has(glyph) && (variants.has(glyph) || /^[\x20-\x7e]+$/.test(glyph))) continue;
+            const b = button(glyph, names.get(glyph));
+            if (groups.has(glyph)) {
+                b.textContent = {'^': '²', '_': '₂'}[glyph] || glyph;
+                b.classList.add('bpl_dead');
+                b.setAttribute('aria-expanded', 'false');
+                b.title += ' (variants)';
+            }
+            bar.append(b);
+        }
+        function cancel() {
+            choice?.anchor?.setAttribute('aria-expanded', 'false');
+            active = undefined; choice = undefined; tip.hidden = true;
+        }
+        function show(e, item, anchor) {
+            tip.classList.toggle('bpl_menu', !!anchor);
+            tip.setAttribute('aria-label', anchor ? 'BPL symbol variants' : 'BPL symbol completions');
+            anchor?.setAttribute('aria-expanded', 'true');
+            if (choice?.item.query !== item.query || choice?.anchor !== anchor) {
+                tip.replaceChildren();
+                for (const [glyph, name] of item.found) {
+                    const b = button(glyph, name);
+                    if (!anchor) b.textContent = `${glyph} ${b.title}`;
+                    tip.append(b);
+                }
+                if (!item.found.length) {
+                    const note = d.createElement('small'); note.textContent = 'Unknown symbol'; tip.append(note);
+                }
+            }
+            choice = {e, item, anchor};
+            tip.hidden = false;
+            const r = anchor ? anchor.getBoundingClientRect() : e.rect();
+            tip.style.left = `${Math.max(4, Math.min(r.left, w.innerWidth - tip.offsetWidth - 8))}px`;
+            tip.style.top = `${Math.max(4, Math.min(r.bottom + 4, w.innerHeight - tip.offsetHeight - 8))}px`;
+        }
+        function refresh(target) {
+            const e = editor(target), item = e && entry(e);
+            if (item && active?.id === e.id && active.start === item.start) show(e, item);
+            else cancel();
+        }
+        on(bar, 'mousedown', ev => {
+            ev.preventDefault();
+            const b = ev.target.closest('button');
+            const opened = choice?.anchor === b;
+            cancel();
+            if (!lastEditor?.valid()) lastEditor = undefined;
+            if (b?.dataset.glyph && lastEditor) {
+                const glyph = b.dataset.glyph, group = groups.get(glyph);
+                if (group) {
+                    if (!opened) show(lastEditor, {query: glyph, found: group.map(g => [g, names.get(g)])}, b);
+                } else lastEditor.insert(glyph);
+            }
+        });
+        on(tip, 'mousedown', ev => {
+            ev.preventDefault();
+            const b = ev.target.closest('button');
+            if (b && choice?.e.valid()) choice.e.insert(b.dataset.glyph, choice.item.start);
+            cancel();
+        });
+        on(d, 'focusin', ev => { if (!host.contains(ev.target)) lastEditor = editor(ev.target); cancel(); });
+        on(d, 'pointerdown', ev => { if (!host.contains(ev.target)) cancel(); }, true);
+        on(d, 'pointerup', ev => { if (!host.contains(ev.target)) lastEditor = editor(ev.target); });
+        for (const event of ['paste', 'cut', 'compositionstart', 'focusout']) on(d, event, cancel, true);
+        on(d, 'input', ev => {
+            if (!keyInput || ev.inputType !== 'insertText' && ev.inputType !== 'deleteContentBackward') cancel();
+            keyInput = false;
+            w.requestAnimationFrame(() => { if (!events.signal.aborted) { lastEditor = editor(ev.target); refresh(ev.target); } });
+        });
+        on(w, 'blur', () => { leftAlt = rightAlt = false; lastEditor = undefined; cancel(); reset(); });
+        on(w, 'focusin', reset, true);
+        on(w, 'keyup', ev => {
+            if (ev.code === 'AltLeft') leftAlt = false;
+            if (ev.code === 'AltRight') rightAlt = false;
+            keyInput = false; lastEditor = editor(ev.target); if (active) refresh(ev.target);
+        }, true);
+        on(w, 'keydown', ev => {
+            if (ev.key === 'Escape' && choice?.anchor) {
+                cancel(); ev.preventDefault(); ev.stopImmediatePropagation(); return;
+            }
+            keyInput = false;
+            if (ev.code === 'AltLeft') leftAlt = true;
+            if (ev.code === 'AltRight') rightAlt = true;
+            if (['Shift', 'Control', 'Alt', 'Meta'].includes(ev.key)) return;
+            const e = editor(ev.target);
+            if (!e || ev.isComposing || ev.defaultPrevented) { lastEditor = undefined; cancel(); reset(); return; }
+            if (lastEditor && lastEditor.id !== e.id) { cancel(); reset(); }
+            lastEditor = e;
+            const body = bplStart(e);
+            const pressed = press(ev, leftAlt && !rightAlt && !ev.getModifierState('AltGraph') && body >= 0);
+            if (pressed) {
+                if (pressed.text) e.insert(pressed.text);
+                if (pressed.stop) { cancel(); ev.preventDefault(); ev.stopImmediatePropagation(); return; }
+            }
+            const item = entry(e), plain = !ev.ctrlKey && !ev.altKey && !ev.metaKey;
+            const tab = ev.key === 'Tab' && plain && !ev.shiftKey, enter = ev.key === 'Enter';
+            const typed = active?.id === e.id && active.start === item?.start;
+            const delimiter = plain && ev.key.length === 1 && !/[a-z]/i.test(ev.key);
+            if (item && (tab || typed && (enter || delimiter))) {
+                if (item.found.length === 1) {
+                    e.insert(item.found[0][0], item.start);
+                    cancel();
+                } else if (tab) {
+                    active = {id: e.id, start: item.start};
+                    show(e, item);
+                }
+                if (tab) { ev.preventDefault(); ev.stopImmediatePropagation(); return; }
+            }
+            if (ev.key === '`' && plain) {
+                const updated = editor(ev.target), body = updated ? bplStart(updated) : -1;
+                if (updated && body >= 0 && updated.empty && inCode(updated.text.slice(body, updated.pos))) active = {id: updated.id, start: updated.pos};
+                else cancel();
+            } else if (!(typed && plain && (/^[a-z]$/i.test(ev.key) || ev.key === 'Backspace'))) cancel();
+            keyInput = plain && (ev.key.length === 1 || ev.key === 'Backspace');
+        }, true);
+        return {dispose() { events.abort(); reset(); lastEditor = undefined; cancel(); host.remove(); }};
+    }
+
+    function page(monaco) {
+        const d = document;
+        if (d.querySelector('.bpl_page_bar') || d.querySelector('meta[name=generator][content^=quarto]') && !d.querySelector('[data-bpl]')) return;
+        const container = d.createElement('div');
+        container.className = 'bpl_page_bar';
+        container.style.cssText = 'position:fixed;top:0;left:0;right:0;z-index:2147483647';
+        d.body.append(container);
+        const input = attach(monaco, container, true), bar = container.querySelector('.ngn_lb');
+        bar.insertAdjacentHTML('afterbegin', '<button class="ngn_x" style="float:right" title="Close symbol bar">×</button><button class="ngn_o" style="float:right" title="Toggle overlay/push-down"></button>');
+        let overlay = false;
+        const padding = d.body.style.paddingTop, toggle = bar.querySelector('.ngn_o');
+        try { overlay = localStorage.getItem('ngn_lb_overlay') === '1'; } catch {}
+        function reflow() {
+            toggle.textContent = overlay ? '▼' : '▲';
+            d.body.style.paddingTop = overlay || container.hidden ? padding : `${bar.offsetHeight}px`;
+        }
+        bar.querySelector('.ngn_x').onclick = () => { container.hidden = true; reflow(); };
+        toggle.onclick = () => {
+            overlay = !overlay;
+            try { localStorage.setItem('ngn_lb_overlay', overlay ? '1' : '0'); } catch {}
+            reflow();
+        };
+        const observer = new ResizeObserver(reflow);
+        observer.observe(bar); reflow();
+        return {dispose() { input.dispose(); observer.disconnect(); container.remove(); d.body.style.paddingTop = padding; }};
+    }
+    return {attach, page};
+})
+([{"glyph": "←", "name": "left-arrow", "kind": "syntax", "monad": "assign", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["是", "是"], "shortcut": " h"}, {"glyph": "⎕", "name": "quad", "kind": "syntax", "monad": "io", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["出入", "出入"], "shortcut": " q"}, {"glyph": "•", "name": "bullet", "kind": "system", "monad": "system", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["系", "系"], "shortcut": " y"}, {"glyph": "⍺", "name": "alpha", "kind": "argument", "monad": "left-argument", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["甲", "甲"], "shortcut": " a"}, {"glyph": "⍵", "name": "omega", "kind": "argument", "monad": "right-argument", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["乙", "乙"], "shortcut": " w"}, {"glyph": "⍶", "name": "alpha-underbar", "kind": "argument", "monad": "left-operand", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["丙", "丙"], "shortcut": " - a"}, {"glyph": "⍹", "name": "omega-underbar", "kind": "argument", "monad": "right-operand", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["丁", "丁"], "shortcut": " - w"}, {"glyph": "∇", "name": "del", "kind": "argument", "monad": "recursion", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["递", "遞"], "shortcut": " g"}, {"glyph": "⍢", "name": "del-diaeresis", "kind": "argument", "monad": "operator-recursion", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["循", "循"], "shortcut": " 1 g"}, {"glyph": "⍝", "name": "lamp", "kind": "comment", "monad": "comment", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["注", "注"], "shortcut": " o c"}, {"glyph": "⋄", "name": "diamond", "kind": "syntax", "monad": "separator", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["句", "句"], "shortcut": " `"}, {"glyph": "⁝", "name": "tricolon", "kind": "syntax", "monad": "token-separator", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["隔", "隔"], "shortcut": " :"}, {"glyph": "?", "name": "question", "kind": "syntax", "monad": "predicate", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["若", "若"], "shortcut": ""}, {"glyph": "¯", "name": "overbar", "kind": "literal", "monad": "negative", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["负", "負"], "shortcut": " -"}, {"glyph": "∞", "name": "infinity", "kind": "literal", "monad": "", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["永", "永"], "shortcut": " 8"}, {"glyph": "⍬", "name": "zilde", "kind": "literal", "monad": "empty", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["空", "空"], "shortcut": " )"}, {"glyph": "+", "name": "plus", "kind": "function", "monad": "conjugate", "dyad": "add", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["加", "加"], "shortcut": ""}, {"glyph": "-", "name": "minus", "kind": "function", "monad": "negate", "dyad": "subtract", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["减", "減"], "shortcut": ""}, {"glyph": "×", "name": "times", "kind": "function", "monad": "sign", "dyad": "multiply", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["乘号", "乘號"], "shortcut": " m"}, {"glyph": "÷", "name": "obelus", "kind": "function", "monad": "reciprocal", "dyad": "divide", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["除", "除"], "shortcut": " u"}, {"glyph": "⌈", "name": "upstile", "kind": "function", "monad": "ceiling", "dyad": "maximum", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["上", "上"], "shortcut": " s"}, {"glyph": "⌊", "name": "downstile", "kind": "function", "monad": "floor", "dyad": "minimum", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["下", "下"], "shortcut": " d"}, {"glyph": "|", "name": "stile", "kind": "function", "monad": "magnitude", "dyad": "residue", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["绝余", "絕餘"], "shortcut": ""}, {"glyph": "*", "name": "star", "kind": "function", "monad": "exponential", "dyad": "exponent", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["幂", "冪"], "shortcut": ""}, {"glyph": "⍟", "name": "circle-star", "kind": "function", "monad": "natural-log", "dyad": "logarithm", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["对", "對"], "shortcut": " o 8"}, {"glyph": "○", "name": "circle", "kind": "function", "monad": "cis", "dyad": "circular", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["圆", "圓"], "shortcut": " o"}, {"glyph": "π", "name": "pi", "kind": "function", "monad": "pi-times", "dyad": "pi-ratio", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["周", "周"], "shortcut": " p"}, {"glyph": "√", "name": "radical", "kind": "function", "monad": "sqrt", "dyad": "root", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["根", "根"], "shortcut": " 3"}, {"glyph": "!", "name": "exclamation", "kind": "function", "monad": "factorial", "dyad": "binomial", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["阶拣", "階揀"], "shortcut": ""}, {"glyph": "∧", "name": "wedge", "kind": "function", "monad": "polar", "dyad": "and", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["极且", "極且"], "shortcut": " 0"}, {"glyph": "∨", "name": "vee", "kind": "function", "monad": "real-imag", "dyad": "or", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["析或", "析或"], "shortcut": " 9"}, {"glyph": "⊼", "name": "wedge-bar", "kind": "function", "monad": "square", "dyad": "nand", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["方否", "方否"], "shortcut": " - 0"}, {"glyph": "⊽", "name": "vee-bar", "kind": "function", "monad": "double", "dyad": "nor", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["双莫", "雙莫"], "shortcut": " - 9"}, {"glyph": "~", "name": "tilde", "kind": "function", "monad": "not", "dyad": "without", "monad_rank": "0", "dyad_ranks": "∞ ∞", "hanzi": ["非无", "非無"], "shortcut": ""}, {"glyph": "=", "name": "equals", "kind": "function", "monad": "classify", "dyad": "equal", "monad_rank": "∞", "dyad_ranks": "0 0", "hanzi": ["等", "等"], "shortcut": ""}, {"glyph": "≠", "name": "not-equals", "kind": "function", "monad": "unique-mask", "dyad": "not-equal", "monad_rank": "∞", "dyad_ranks": "0 0", "hanzi": ["别初", "別初"], "shortcut": " +"}, {"glyph": "<", "name": "less-than", "kind": "function", "monad": "sort-up", "dyad": "less", "monad_rank": "∞", "dyad_ranks": "0 0", "hanzi": ["小", "小"], "shortcut": ""}, {"glyph": "≤", "name": "less-than-or-equal", "kind": "function", "monad": "decrement", "dyad": "less-equal", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["限退", "限退"], "shortcut": " <"}, {"glyph": ">", "name": "greater-than", "kind": "function", "monad": "sort-down", "dyad": "greater", "monad_rank": "∞", "dyad_ranks": "0 0", "hanzi": ["大", "大"], "shortcut": ""}, {"glyph": "≥", "name": "greater-than-or-equal", "kind": "function", "monad": "increment", "dyad": "greater-equal", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["达进", "達進"], "shortcut": " >"}, {"glyph": "⍳", "name": "iota", "kind": "function", "monad": "indices", "dyad": "index-of", "monad_rank": "1", "dyad_ranks": "∞ ∞", "hanzi": ["位", "位"], "shortcut": " i"}, {"glyph": "↦", "name": "right-arrow-from-bar", "kind": "function", "monad": "range", "dyad": "to", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["至", "至"], "shortcut": " l"}, {"glyph": ":", "name": "colon", "kind": "function", "monad": "unkey", "dyad": "keyed", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["键卸", "鍵卸"], "shortcut": ""}, {"glyph": "⍴", "name": "rho", "kind": "function", "monad": "shape", "dyad": "reshape", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["形", "形"], "shortcut": " r"}, {"glyph": "≢", "name": "equal-underbar-slash", "kind": "function", "monad": "tally", "dyad": "not-match", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["数异", "數異"], "shortcut": " ?"}, {"glyph": "≡", "name": "equal-underbar", "kind": "function", "monad": "depth", "dyad": "match", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["同深", "同深"], "shortcut": " ="}, {"glyph": ",", "name": "comma", "kind": "function", "monad": "ravel", "dyad": "catenate", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["连", "連"], "shortcut": ""}, {"glyph": "⍪", "name": "comma-bar", "kind": "function", "monad": "table", "dyad": "catenate-first", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["接矩", "接矩"], "shortcut": " - ,"}, {"glyph": "⊂", "name": "left-shoe", "kind": "function", "monad": "enclose", "dyad": "partitioned-enclose", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["包", "包"], "shortcut": " z"}, {"glyph": "⊃", "name": "right-shoe", "kind": "function", "monad": "mix", "dyad": "pick", "monad_rank": "0", "dyad_ranks": "1 ∞", "hanzi": ["选合", "選合"], "shortcut": " x"}, {"glyph": "⊆", "name": "left-shoe-underbar", "kind": "function", "monad": "nest", "dyad": "partition", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["巢段", "巢段"], "shortcut": " - z"}, {"glyph": "∊", "name": "epsilon", "kind": "function", "monad": "enlist", "dyad": "member", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["属展", "屬展"], "shortcut": " e"}, {"glyph": "∪", "name": "down-shoe", "kind": "function", "monad": "unique", "dyad": "union", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["并独", "併獨"], "shortcut": " v"}, {"glyph": "∩", "name": "up-shoe", "kind": "function", "monad": "duplicates", "dyad": "intersection", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["交重", "交重"], "shortcut": " c"}, {"glyph": "⍋", "name": "delta-stile", "kind": "function", "monad": "grade-up", "dyad": "grade-up-by", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["升", "升"], "shortcut": " \\ 7"}, {"glyph": "⍒", "name": "del-stile", "kind": "function", "monad": "grade-down", "dyad": "grade-down-by", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["降", "降"], "shortcut": " \\ g"}, {"glyph": "↑", "name": "up-arrow", "kind": "function", "monad": "first", "dyad": "take", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["取", "取"], "shortcut": " k"}, {"glyph": "↓", "name": "down-arrow", "kind": "function", "monad": "split", "dyad": "drop", "monad_rank": "1", "dyad_ranks": "1 ∞", "hanzi": ["去拆", "去拆"], "shortcut": " j"}, {"glyph": "⌽", "name": "circle-stile", "kind": "function", "monad": "reverse", "dyad": "rotate", "monad_rank": "1", "dyad_ranks": "0 1", "hanzi": ["转", "轉"], "shortcut": " 2"}, {"glyph": "⊖", "name": "circle-bar", "kind": "function", "monad": "reverse-first", "dyad": "rotate-first", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["纵", "縱"], "shortcut": " o -"}, {"glyph": "⍉", "name": "circle-backslash", "kind": "function", "monad": "transpose", "dyad": "reorder-axes", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["翻", "翻"], "shortcut": " o \\"}, {"glyph": "⊤", "name": "down-tack", "kind": "function", "monad": "binary-encode", "dyad": "encode", "monad_rank": "∞", "dyad_ranks": "1 0", "hanzi": ["编", "編"], "shortcut": " n"}, {"glyph": "⊥", "name": "up-tack", "kind": "function", "monad": "binary-decode", "dyad": "decode", "monad_rank": "1", "dyad_ranks": "1 1", "hanzi": ["译", "譯"], "shortcut": " b"}, {"glyph": "⍎", "name": "hydrant", "kind": "function", "monad": "execute", "dyad": "execute-in", "monad_rank": "1", "dyad_ranks": "∞ ∞", "hanzi": ["行", "行"], "shortcut": " o b"}, {"glyph": "⍕", "name": "thorn", "kind": "function", "monad": "format", "dyad": "format-spec", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["文", "文"], "shortcut": " o n"}, {"glyph": "⌷", "name": "squad", "kind": "function", "monad": "materialise", "dyad": "index", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["索", "索"], "shortcut": " q \\"}, {"glyph": "⌹", "name": "domino", "kind": "function", "monad": "matrix-inverse", "dyad": "matrix-divide", "monad_rank": "2", "dyad_ranks": "∞ 2", "hanzi": ["解逆", "解逆"], "shortcut": " q u"}, {"glyph": "#", "name": "hash", "kind": "function", "monad": "runs", "dyad": "replicate", "monad_rank": "∞", "dyad_ranks": "1 ∞", "hanzi": ["复", "複"], "shortcut": ""}, {"glyph": "↕", "name": "up-down-arrow", "kind": "function", "monad": "pairs", "dyad": "windows", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["窗", "窗"], "shortcut": " K"}, {"glyph": "⍭", "name": "stile-tilde", "kind": "function", "monad": "prime", "dyad": "prime-mode", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["素", "素"], "shortcut": " \\"}, {"glyph": "⨸", "name": "circle-divide", "kind": "function", "monad": "factors", "dyad": "factor-spec", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["因", "因"], "shortcut": " o u"}, {"glyph": "⌻", "name": "quad-jot", "kind": "function", "monad": "roots", "dyad": "polyval", "monad_rank": "1", "dyad_ranks": "1 0", "hanzi": ["零值", "零值"], "shortcut": " q t"}, {"glyph": "⍸", "name": "iota-underbar", "kind": "function", "monad": "where", "dyad": "interval-index", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["处间", "處間"], "shortcut": " - i"}, {"glyph": "⍷", "name": "epsilon-underbar", "kind": "function", "monad": "groups", "dyad": "find", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["寻群", "尋群"], "shortcut": " - e"}, {"glyph": "⊢", "name": "right-tack", "kind": "function", "monad": "same", "dyad": "right", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["右", "右"], "shortcut": " '"}, {"glyph": "⊣", "name": "left-tack", "kind": "function", "monad": "same-left", "dyad": "left", "monad_rank": "∞", "dyad_ranks": "∞ ∞", "hanzi": ["左", "左"], "shortcut": " ;"}, {"glyph": "¿", "name": "inverted-question", "kind": "function", "monad": "roll", "dyad": "deal", "monad_rank": "0", "dyad_ranks": "0 0", "hanzi": ["掷抽", "擲抽"], "shortcut": " /"}, {"glyph": "¨", "name": "diaeresis", "kind": "monadic-operator", "monad": "each", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["遍", "遍"], "shortcut": " 1"}, {"glyph": "ᵇ", "name": "superscript-b", "kind": "monadic-operator", "monad": "bitwise", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["按", "按"], "shortcut": " 6 b"}, {"glyph": "⍨", "name": "tilde-diaeresis", "kind": "monadic-operator", "monad": "self", "dyad": "commute", "monad_rank": "", "dyad_ranks": "", "hanzi": ["己换", "己換"], "shortcut": " 1 `"}, {"glyph": "↣", "name": "right-tail-arrow", "kind": "dyadic-operator", "monad": "before", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["先", "先"], "shortcut": " ."}, {"glyph": "⍤", "name": "jot-diaeresis", "kind": "dyadic-operator", "monad": "rank", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["秩", "秩"], "shortcut": " 1 t"}, {"glyph": "∘", "name": "jot", "kind": "dyadic-operator", "monad": "atop", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["承", "承"], "shortcut": " t"}, {"glyph": "⍠", "name": "quad-colon", "kind": "dyadic-operator", "monad": "axis", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["轴", "軸"], "shortcut": " q ;"}, {"glyph": "⍥", "name": "circle-diaeresis", "kind": "dyadic-operator", "monad": "over", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["经", "經"], "shortcut": " 1 o"}, {"glyph": "↢", "name": "left-tail-arrow", "kind": "dyadic-operator", "monad": "after", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["后", "後"], "shortcut": " ,"}, {"glyph": ".", "name": "dot", "kind": "dyadic-operator", "monad": "determinant", "dyad": "inner-product", "monad_rank": "", "dyad_ranks": "", "hanzi": ["内", "內"], "shortcut": ""}, {"glyph": "⊗", "name": "circle-times", "kind": "monadic-operator", "monad": "outer-product", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["表", "表"], "shortcut": " o m"}, {"glyph": "⌸", "name": "quad-equal", "kind": "monadic-operator", "monad": "key", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["组", "組"], "shortcut": " q ="}, {"glyph": "⍣", "name": "star-diaeresis", "kind": "dyadic-operator", "monad": "power", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["次止", "次止"], "shortcut": " 1 8"}, {"glyph": "⇄", "name": "right-left-arrows", "kind": "monadic-operator", "monad": "optimize", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["优", "優"], "shortcut": " 4"}, {"glyph": "⊘", "name": "circle-slash", "kind": "dyadic-operator", "monad": "valences", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["兼", "兼"], "shortcut": " o /"}, {"glyph": "@", "name": "at", "kind": "dyadic-operator", "monad": "under", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["于", "於"], "shortcut": ""}, {"glyph": "∂", "name": "partial", "kind": "monadic-operator", "monad": "derivative", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["导梯", "導梯"], "shortcut": " f"}, {"glyph": "⍚", "name": "diamond-underbar", "kind": "dyadic-operator", "monad": "agenda", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["择", "擇"], "shortcut": " - `"}, {"glyph": "⌺", "name": "quad-diamond", "kind": "dyadic-operator", "monad": "stencil", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["邻", "鄰"], "shortcut": " q `"}, {"glyph": "/", "name": "slash", "kind": "monadic-operator", "monad": "reduce", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["总", "總"], "shortcut": ""}, {"glyph": "⌿", "name": "slash-bar", "kind": "monadic-operator", "monad": "reduce-first", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["汇", "匯"], "shortcut": " - /"}, {"glyph": "\\", "name": "backslash", "kind": "monadic-operator", "monad": "scan", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["累", "累"], "shortcut": ""}, {"glyph": "⍀", "name": "backslash-bar", "kind": "monadic-operator", "monad": "scan-first", "dyad": "", "monad_rank": "", "dyad_ranks": "", "hanzi": ["续", "續"], "shortcut": " - \\"}], ((symbols, layout) => {
+    const comments = new Set(symbols.filter(s => s.kind === 'comment').flatMap(s => [...s.glyph, ...s.hanzi.join('')]));
+    // US physical keys, before macOS Option or another layout transforms event.key.
+    const punctuation = {Backquote: '`~', Minus: '-_', Equal: '=+', BracketLeft: '[{', BracketRight: ']}',
+        Backslash: '\\|', Semicolon: ';:', Quote: "'\"", Comma: ',<', Period: '.>', Slash: '/?'};
+    function usKey({code, shiftKey}) {
+        if (/^Key[A-Z]$/.test(code)) return shiftKey ? code.slice(3) : code.slice(3).toLowerCase();
+        if (/^Digit[0-9]$/.test(code)) return shiftKey ? ')!@#$%^&*('[Number(code[5])] : code[5];
+        if (code === 'Space') return ' ';
+        return punctuation[code]?.[Number(shiftKey)];
+    }
+
+    // Composed input from `layout.json`, with the same rules as the REPL and the macOS layout. `pending` is the dead-key state
+    // that the next key completes.
+    let pending = null;
+    const act = action => typeof action === 'string' ? (pending = null, action) : (pending = action.state, '');
+    // What a key types: `{text, stop}`, where `stop` means the key itself does nothing more, or nothing for an ordinary key.
+    // `option` is whether an Option chord counts here.
+    function press(ev, option) {
+        const key = usKey(ev);
+        if (pending) {
+            const name = pending, state = layout.states[name];
+            pending = null;
+            if (ev.key === 'Backspace' || ev.key === 'Escape') return {text: '', stop: true};
+            if (!ev.ctrlKey && !ev.metaKey) {
+                if (key in state.keys) return {text: act(state.keys[key]), stop: true};
+                if (key === ' ' || layout.option[key]?.state === name) return {text: state.terminator, stop: true};
+            }
+            // Any other key types the terminator, then acts as if nothing were pending.
+            const rest = press(ev, option);
+            return {text: state.terminator + (rest?.text ?? ''), stop: rest?.stop ?? false};
+        }
+        // Native Option can hide the alias character; accept its US physical chord too.
+        const action = option && ev.altKey && !ev.ctrlKey && !ev.metaKey
+            ? layout.alt_aliases[ev.key] ?? (Object.values(layout.alt_aliases).includes(key) ? key : layout.option[key]) : null;
+        if (action) return {text: act(action), stop: true};
+    }
+    const reset = () => { pending = null; };
+
+    // Every name ranks alike at each level: exact, prefix, then prefixes of hyphen-separated parts. Each match carries the name it
+    // matched by, the glyph name where several of a glyph's names match equally, as in `matches` in `symbols.rs`.
+    function matches(query) {
+        query = query.toLowerCase();
+        const letters = word => word.replaceAll('-', '');
+        let best = Infinity, found = [];
+        for (const {glyph, name, monad, dyad} of symbols) {
+            let rank = Infinity, matched;
+            [name, monad, dyad].filter(Boolean).forEach(word => {
+                const level = letters(word) === query ? 0 : letters(word).startsWith(query) ? 1 : 2;
+                if (level === 2) {
+                    let rest = query;
+                    for (const part of word.split('-')) {
+                        let n = 0;
+                        while (n < part.length && part[n] === rest[n]) n++;
+                        if (!n) break;
+                        rest = rest.slice(n);
+                        if (!rest) break;
+                    }
+                    if (rest) return;
+                }
+                if (level < rank) { rank = level; matched = word; }
+            });
+            if (rank < best) { best = rank; found = []; }
+            if (rank < Infinity && rank === best) found.push([glyph, matched]);
+        }
+        // A name that is a prefix of every other match wins: `om gives omega, `omu gives omega-underbar.
+        const shortest = found.find(([, a]) => found.every(([, b]) => letters(b).startsWith(letters(a))));
+        return shortest && found.length > 1 ? [shortest] : found;
+    }
+
+    function inCode(text, python = false) {
+        let quote = '', comment = false;
+        for (let i = 0; i < text.length; i++) {
+            const c = text[i];
+            if (comment) { if (c === '\n') comment = false; }
+            else if (quote) {
+                if (python && c === '\\') i++;
+                else if (text.startsWith(quote, i)) { i += quote.length - 1; quote = ''; }
+            } else if (c === "'" && !python) {
+                if (text.startsWith("''", i) && !text.startsWith("'''", i)) i++;
+                else {
+                    if (i + 2 >= text.length) return false;
+                    i += 2;
+                }
+            } else if (c === "'" || c === '"') {
+                quote = python && text.startsWith(c.repeat(3), i) ? c.repeat(3) : c;
+                i += quote.length - 1;
+            } else if (python ? c === '#' : comments.has(c)) comment = true;
+        }
+        return !quote && !comment;
+    }
+
+    function bplStart(e) {
+        if (e.bpl) return 0;
+        const header = /^%%(?:bpl|apl)[^\S\n]*(?:\r?\n|$)/.exec(e.text);
+        if (header) return e.pos >= header[0].length ? header[0].length : -1;
+        const start = e.text.lastIndexOf('\n', e.pos - 1) + 1;
+        const line = /^[ \t]*(?:[\p{ID_Start}_][\p{ID_Continue}]*[ \t]*=[ \t]*)?%bpl[ \t]+/u.exec(e.text.slice(start, e.pos));
+        return line && inCode(e.text.slice(0, start), true) ? start + line[0].length : -1;
+    }
+
+    function entry(e) {
+        const body = bplStart(e), start = e.text.lastIndexOf('`', e.pos - 1);
+        if (body < 0 || start < body || !e.empty || !inCode(e.text.slice(body, start))) return;
+        const query = e.text.slice(start + 1, e.pos);
+        if (/^[a-z]*$/i.test(query)) return {start, query, found: matches(query)};
+    }
+
+    return {matches, inCode, bplStart, entry, press, reset};
+})
+, {
+ "alt_aliases": {"£": "#"},
+ "unshifted": {"!": "1", "@": "2", "#": "3", "$": "4", "%": "5", "^": "6", "&": "7", "*": "8", "(": "9", ")": "0", "~": "`", "_": "-", "|": "\\", ":": ";"},
+ "optional_shift": {"!": "1", "@": "2", "#": "3", "$": "4", "%": "5", "^": "6", "&": "7", "*": "8", "(": "9", "_": "-"},
+ "option": {
+  "`": "⋄",
+  "1": {"state": "diaeresis"},
+  "2": "⌽",
+  "3": "√",
+  "4": "⇄",
+  "5": {"state": "subscript"},
+  "6": {"state": "superscript"},
+  "7": "∆",
+  "8": "∞",
+  "9": "∨",
+  "0": "∧",
+  ")": "⍬",
+  "!": "¹",
+  "@": "²",
+  "#": "³",
+  "$": "⁴",
+  "%": "⁵",
+  "^": "⁶",
+  "&": "⁷",
+  "*": "⁸",
+  "(": "⁹",
+  "_": "⁻",
+  "-": {"state": "bar"},
+  "=": "≡",
+  "q": {"state": "quad"},
+  "w": "⍵",
+  "e": "∊",
+  "r": "⍴",
+  "t": "∘",
+  "y": "•",
+  "u": "÷",
+  "i": "⍳",
+  "o": {"state": "circle"},
+  "p": "π",
+  "+": "≠",
+  "\\": {"state": "stile"},
+  "a": "⍺",
+  "s": "⌈",
+  "d": "⌊",
+  "f": "∂",
+  "g": "∇",
+  "h": "←",
+  "j": "↓",
+  "k": "↑",
+  "K": "↕",
+  "l": "↦",
+  ";": "⊣",
+  ":": "⁝",
+  "'": "⊢",
+  "z": "⊂",
+  "x": "⊃",
+  "c": "∩",
+  "v": "∪",
+  "b": "⊥",
+  "n": "⊤",
+  "m": "×",
+  ",": "↢",
+  ".": "↣",
+  "<": "≤",
+  ">": "≥",
+  "/": "¿",
+  "?": "≢"
+ },
+ "states": {
+  "diaeresis": {"terminator": "¨", "keys": {"t": "⍤", "o": "⍥", "*": "⍣", "~": "⍨", "g": "⍢", "8": "⍣", "`": "⍨"}},
+  "superscript": {"terminator": "⁶", "keys": {"0": "⁰", "1": "¹", "2": "²", "3": "³", "4": "⁴", "5": "⁵", "6": "⁶", "7": "⁷", "8": "⁸", "9": "⁹", ")": "⁰", "!": "¹", "@": "²", "#": "³", "$": "⁴", "%": "⁵", "^": "⁶", "&": "⁷", "*": "⁸", "(": "⁹", "-": {"state": "superscript-minus"}, "b": "ᵇ", "t": "ᵀ", "u": "ᵘ"}},
+  "superscript-minus": {"terminator": "⁻", "keys": {"0": "⁻⁰", "1": "⁻¹", "2": "⁻²", "3": "⁻³", "4": "⁻⁴", "5": "⁻⁵", "6": "⁻⁶", "7": "⁻⁷", "8": "⁻⁸", "9": "⁻⁹", ")": "⁻⁰", "!": "⁻¹", "@": "⁻²", "#": "⁻³", "$": "⁻⁴", "%": "⁻⁵", "^": "⁻⁶", "&": "⁻⁷", "*": "⁻⁸", "(": "⁻⁹"}},
+  "subscript": {"terminator": "₅", "keys": {"0": "₀", "1": "₁", "2": "₂", "3": "₃", "4": "₄", "5": "₅", "6": "₆", "7": "₇", "8": "₈", "9": "₉", ")": "₀", "!": "₁", "@": "₂", "#": "₃", "$": "₄", "%": "₅", "^": "₆", "&": "₇", "*": "₈", "(": "₉", "x": "ₓ", "j": "ⱼ", "e": "ₑ", "r": "ᵣ", "h": "ₕ", "s": "ₛ", "p": "ₚ", "-": {"state": "subscript-minus"}}},
+  "subscript-minus": {"terminator": "₋", "keys": {"0": "₋₀", "1": "₋₁", "2": "₋₂", "3": "₋₃", "4": "₋₄", "5": "₋₅", "6": "₋₆", "7": "₋₇", "8": "₋₈", "9": "₋₉", ")": "₋₀", "!": "₋₁", "@": "₋₂", "#": "₋₃", "$": "₋₄", "%": "₋₅", "^": "₋₆", "&": "₋₇", "*": "₋₈", "(": "₋₉"}},
+  "bar": {"terminator": "¯", "keys": {",": "⍪", "\\": "⍀", "/": "⌿", "a": "⍶", "w": "⍹", "7": "⍙", "`": "⍚", "0": "⊼", "9": "⊽", "e": "⍷", "i": "⍸", "z": "⊆"}},
+  "quad": {"terminator": "⎕", "keys": {"t": "⌻", ":": "⍠", "=": "⌸", "u": "⌹", "|": "⌷", "`": "⌺", ";": "⍠", "\\": "⌷"}},
+  "circle": {"terminator": "○", "keys": {"-": "⊖", "\\": "⍉", "/": "⊘", "*": "⍟", "m": "⊗", "u": "⨸", "8": "⍟", "c": "⍝", "b": "⍎", "n": "⍕"}},
+  "stile": {"terminator": "⍭", "keys": {"7": "⍋", "g": "⍒"}}
+ }
+}
+);
+const font = new URL("SAX2B.woff2", import.meta.url);
+export function attach(monaco, container) {
+    const input = bar.attach(monaco, container), style = container.ownerDocument.createElement('style');
+    style.textContent = `@font-face{font-family:SAX2B;src:url("${font}") format("woff2")}`;
+    container.append(style);
+    return {dispose() { input.dispose(); style.remove(); }};
+}

package/bpl.tmLanguage.json

@@ -45,7 +45,7 @@
       "name": "string.quoted.single.bpl"
     },
     {
-      "match": "(?:_\\d+|_\\S|_|[^\\s\\p{Cc}0-9←⎕•⍺⍵⍶⍹∇⍢⍝⋄\\?¯∞⍬\\+\\-×÷⌈⌊\\|\\*⍟○π√!∧∨⊼⊽\\~=≠<≤>≥⍳↦:⍴≢≡,⍪⊂⊃⊆∊∪∩⍋⍒↑↓⌽⊖⍉⊤⊥⍎⍕⌷⌹\\#↕⍭⨸⌻⍸⍷⊢⊣¿¨ᵇ⍨↣⍤∘⍠⍥↢\\.⊗⌸⍣⇄⊘@∂⍚⌺/⌿\\\\⍀⁰¹²³⁴⁵⁶⁷⁸⁹⁻ᵀᵘₓ₀₁₂₃₄₅₆₇₈₉₋ₓ₁ₓ₂ₓ₄ₓ₈ₓₕₛₚ\\(\\)\\[\\]\\{\\}'\";\\$_ₑⱼᵣ])+",
+      "match": "(?:_\\d+|_\\S|_|[^\\s\\p{Cc}0-9←⎕•⍺⍵⍶⍹∇⍢⍝⋄⁝\\?¯∞⍬\\+\\-×÷⌈⌊\\|\\*⍟○π√!∧∨⊼⊽\\~=≠<≤>≥⍳↦:⍴≢≡,⍪⊂⊃⊆∊∪∩⍋⍒↑↓⌽⊖⍉⊤⊥⍎⍕⌷⌹\\#↕⍭⨸⌻⍸⍷⊢⊣¿¨ᵇ⍨↣⍤∘⍠⍥↢\\.⊗⌸⍣⇄⊘@∂⍚⌺/⌿\\\\⍀⁰¹²³⁴⁵⁶⁷⁸⁹⁻ᵀᵘₓ₀₁₂₃₄₅₆₇₈₉₋ₓ₁ₓ₂ₓ₄ₓ₈ₓₕₛₚ\\(\\)\\[\\]\\{\\}'\";\\$_ₑⱼᵣ])+",
       "name": "variable.other.bpl"
     },
     {
@@ -106,7 +106,7 @@
       "name": "variable.parameter.bpl"
     },
     {
-      "match": "[←⎕⋄\\?₀₁₂₃₄₅₆₇₈₉₋]",
+      "match": "[←⎕⋄⁝\\?₀₁₂₃₄₅₆₇₈₉₋]",
       "name": "keyword.control.bpl"
     }
   ]

package/hpl.tmLanguage.json

@@ -19,7 +19,7 @@
       "applyEndPatternLast": true
     },
     {
-      "match": "(?:_\\d+|_\\S|_|[^\\s\\p{Cc}0-9←是⎕出入•系⍺甲⍵乙⍶丙⍹丁∇递遞⍢循⍝注⋄句\\?若¯负負∞永⍬空\\+加\\-减減×乘号號÷除⌈上⌊下\\|绝余絕餘\\*幂冪⍟对對○圆圓π周√根!阶拣階揀∧极且極∨析或⊼方否⊽双莫雙\\~非无無=等≠别初別<小≤限退>大≥达进達進⍳位↦至:键卸鍵⍴形≢数异數異≡同深,连連⍪接矩⊂包⊃选合選⊆巢段∊属展屬∪并独併獨∩交重⍋升⍒降↑取↓去拆⌽转轉⊖纵縱⍉翻⊤编編⊥译譯⍎行⍕文⌷索⌹解逆\\#复複↕窗⍭素⨸因⌻零值⍸处间處間⍷寻群尋⊢右⊣左¿掷抽擲¨遍ᵇ按⍨己换換↣先⍤秩∘承⍠轴軸⍥经經↢后後\\.内內⊗表⌸组組⍣次止⇄优優⊘兼@于於∂导梯導⍚择擇⌺邻鄰/总總⌿汇匯\\\\累⍀续續⁰¹²³⁴⁵⁶⁷⁸⁹⁻ᵀᵘₓ₀₁₂₃₄₅₆₇₈₉₋ₓ₁ₓ₂ₓ₄ₓ₈ₓₕₛₚ\\(\\)\\[\\]\\{\\}'\";\\$_ₑⱼᵣ])+",
+      "match": "(?:_\\d+|_\\S|_|[^\\s\\p{Cc}0-9←是⎕出入•系⍺甲⍵乙⍶丙⍹丁∇递遞⍢循⍝注⋄句⁝隔\\?若¯负負∞永⍬空\\+加\\-减減×乘号號÷除⌈上⌊下\\|绝余絕餘\\*幂冪⍟对對○圆圓π周√根!阶拣階揀∧极且極∨析或⊼方否⊽双莫雙\\~非无無=等≠别初別<小≤限退>大≥达进達進⍳位↦至:键卸鍵⍴形≢数异數異≡同深,连連⍪接矩⊂包⊃选合選⊆巢段∊属展屬∪并独併獨∩交重⍋升⍒降↑取↓去拆⌽转轉⊖纵縱⍉翻⊤编編⊥译譯⍎行⍕文⌷索⌹解逆\\#复複↕窗⍭素⨸因⌻零值⍸处间處間⍷寻群尋⊢右⊣左¿掷抽擲¨遍ᵇ按⍨己换換↣先⍤秩∘承⍠轴軸⍥经經↢后後\\.内內⊗表⌸组組⍣次止⇄优優⊘兼@于於∂导梯導⍚择擇⌺邻鄰/总總⌿汇匯\\\\累⍀续續⁰¹²³⁴⁵⁶⁷⁸⁹⁻ᵀᵘₓ₀₁₂₃₄₅₆₇₈₉₋ₓ₁ₓ₂ₓ₄ₓ₈ₓₕₛₚ\\(\\)\\[\\]\\{\\}'\";\\$_ₑⱼᵣ])+",
       "name": "variable.other.bpl"
     },
     {
@@ -51,7 +51,7 @@
       "name": "variable.parameter.bpl"
     },
     {
-      "match": "[是出入句若]",
+      "match": "[是出入句隔若]",
       "name": "keyword.control.bpl"
     },
     {

package/layout.json

@@ -50,6 +50,7 @@
   "K": "↕",
   "l": "↦",
   ";": "⊣",
+  ":": "⁝",
   "'": "⊢",
   "z": "⊂",
   "x": "⊃",

package/lb.js

@@ -2,235 +2,268 @@
 // MIT License, Copyright (c) 2011-2020 Nikolay G. Nikolov and Adam Brudzevski.
 // BPL name completion, editor adapters, dark mode and overlay layout by Jeremy Howard.
 ((symbols, input, layout) => {
-    const d = document;
-    // Docs pages have no bar, except a page with a `data-bpl` editor, such as the playground.
-    if (d.querySelector('.ngn_lb') || d.querySelector('meta[name=generator][content^=quarto]') && !d.querySelector('[data-bpl]')) return;
+    function attach(monaco, container, magics = false) {
+        const d = container.ownerDocument, w = d.defaultView, events = new AbortController();
+        const on = (target, name, fn, capture = false) => target.addEventListener(name, fn, {capture, signal: events.signal});
+        const {inCode, bplStart, entry, press, reset} = input(symbols, layout);
+        const shortcuts = new Map(symbols.map(({glyph, shortcut}) => [glyph, shortcut]));
+        let leftAlt = false, rightAlt = false;
 
-    const {inCode, bplStart, entry, press, reset} = input(symbols, layout);
-    const shortcuts = new Map(symbols.map(({glyph, shortcut}) => [glyph, shortcut]));
-    let leftAlt = false, rightAlt = false;
-
-    function textareaRect(t) {
-        const mirror = d.createElement('div'), caret = d.createElement('span'), css = getComputedStyle(t), rect = t.getBoundingClientRect();
-        for (const p of ['font', 'lineHeight', 'letterSpacing', 'padding', 'border', 'boxSizing', 'width', 'tabSize']) mirror.style[p] = css[p];
-        Object.assign(mirror.style, {position: 'fixed', visibility: 'hidden', whiteSpace: 'pre-wrap', overflowWrap: 'break-word',
-            left: `${rect.left - t.scrollLeft}px`, top: `${rect.top - t.scrollTop}px`});
-        mirror.textContent = t.value.slice(0, t.selectionStart);
-        caret.textContent = '\u200b';
-        mirror.append(caret);
-        d.body.append(mirror);
-        const result = caret.getBoundingClientRect();
-        mirror.remove();
-        return result;
-    }
-
-    function editor(target) {
-        if (target.closest?.('.text_cell, .jp-MarkdownCell')) return;
-        const m = window.monaco?.editor?.getEditors?.().find(e => e.hasTextFocus());
-        if (m) {
-            const model = m.getModel(), p = m.getPosition(), selection = m.getSelection();
-            if (model.getLanguageId() === 'markdown' || m.getOption(window.monaco.editor.EditorOption.readOnly)) return;
-            return {id: m, text: model.getValue(), pos: model.getOffsetAt(p), empty: selection.isEmpty(), bpl: model.getLanguageId() === 'bpl',
-                rect: () => {
-                    const r = m.getDomNode().getBoundingClientRect(), c = m.getScrolledVisiblePosition(p);
-                    return {left: r.left + c.left, bottom: r.top + c.top + c.height};
-                },
-                insert: (text, from = model.getOffsetAt(selection.getStartPosition())) => {
-                    const a = model.getPositionAt(from), b = selection.getEndPosition();
-                    m.pushUndoStop();
-                    m.executeEdits('aplnb', [{range: {startLineNumber: a.lineNumber, startColumn: a.column,
-                        endLineNumber: b.lineNumber, endColumn: b.column}, text}], () => {
-                        const end = model.getPositionAt(from + text.length);
-                        return [new window.monaco.Selection(end.lineNumber, end.column, end.lineNumber, end.column)];
-                    });
-                    m.pushUndoStop();
-                    m.focus();
-                }};
+        function textareaRect(t) {
+            const mirror = d.createElement('div'), caret = d.createElement('span'), css = getComputedStyle(t), rect = t.getBoundingClientRect();
+            for (const p of ['font', 'lineHeight', 'letterSpacing', 'padding', 'border', 'boxSizing', 'width', 'tabSize']) mirror.style[p] = css[p];
+            Object.assign(mirror.style, {position: 'fixed', visibility: 'hidden', whiteSpace: 'pre-wrap', overflowWrap: 'break-word',
+                left: `${rect.left - t.scrollLeft}px`, top: `${rect.top - t.scrollTop}px`});
+            mirror.textContent = t.value.slice(0, t.selectionStart);
+            caret.textContent = '\u200b';
+            mirror.append(caret);
+            d.body.append(mirror);
+            const result = caret.getBoundingClientRect();
+            mirror.remove();
+            return result;
         }
-        const view = target.closest?.('.cm-editor')?.querySelector('.cm-content')?.cmTile?.view;
-        if (view) {
-            if (view.state.readOnly) return;
-            const sel = view.state.selection.main;
-            return {id: view, text: view.state.doc.toString(), pos: sel.head, empty: sel.empty,
-                rect: () => view.coordsAtPos(sel.head),
-                insert: (text, from = sel.from) => {
-                    view.dispatch({changes: {from, to: sel.to, insert: text}, selection: {anchor: from + text.length}, userEvent: 'input.complete'});
-                    view.focus();
+
+        function editor(target) {
+            if (target.closest?.('.text_cell, .jp-MarkdownCell')) return;
+            const m = monaco?.editor.getEditors().find(e => e.hasTextFocus());
+            if (m) {
+                const model = m.getModel(), p = m.getPosition(), selection = m.getSelection();
+                if (!model || !p || !selection) return;
+                const valid = () => m.getDomNode()?.isConnected && m.getModel() === model && !m.getOption(monaco.editor.EditorOption.readOnly)
+                    && (model.getLanguageId() === 'bpl' || magics && bplStart({text: model.getValue(), pos: model.getOffsetAt(m.getPosition())}) >= 0);
+                if (!valid()) return;
+                const e = {id: model, valid, text: model.getValue(), pos: model.getOffsetAt(p), empty: selection.isEmpty(), bpl: model.getLanguageId() === 'bpl',
+                    rect: () => {
+                        const r = m.getDomNode().getBoundingClientRect(), c = m.getScrolledVisiblePosition(p);
+                        return {left: r.left + c.left, bottom: r.top + c.top + c.height};
+                    },
+                    insert: (text, from) => {
+                        if (!valid()) return;
+                        const selection = m.getSelection();
+                        from ??= model.getOffsetAt(selection.getStartPosition());
+                        const a = model.getPositionAt(from), b = selection.getEndPosition();
+                        m.pushUndoStop();
+                        m.executeEdits('aplnb', [{range: {startLineNumber: a.lineNumber, startColumn: a.column,
+                            endLineNumber: b.lineNumber, endColumn: b.column}, text}], () => {
+                            const end = model.getPositionAt(from + text.length);
+                            return [new monaco.Selection(end.lineNumber, end.column, end.lineNumber, end.column)];
+                        });
+                        m.pushUndoStop();
+                        m.focus();
+                    }};
+                return bplStart(e) >= 0 ? e : undefined;
+            }
+            if (!magics) return;
+            const view = target.closest?.('.cm-editor')?.querySelector('.cm-content')?.cmTile?.view;
+            if (view) {
+                if (view.state.readOnly) return;
+                const sel = view.state.selection.main;
+                const e = {id: view, valid: () => view.dom.isConnected && !view.state.readOnly
+                    && bplStart({text: view.state.doc.toString(), pos: view.state.selection.main.head}) >= 0,
+                    text: view.state.doc.toString(), pos: sel.head, empty: sel.empty,
+                    rect: () => view.coordsAtPos(sel.head),
+                    insert: (text, from) => {
+                        if (!e.valid()) return;
+                        const sel = view.state.selection.main;
+                        from ??= sel.from;
+                        view.dispatch({changes: {from, to: sel.to, insert: text}, selection: {anchor: from + text.length}, userEvent: 'input.complete'});
+                        view.focus();
+                    }};
+                return bplStart(e) >= 0 ? e : undefined;
+            }
+            if (target.tagName !== 'TEXTAREA' || target.readOnly || target.disabled) return;
+            const e = {id: target, valid: () => target.isConnected && !target.readOnly && !target.disabled
+                && bplStart({text: target.value, pos: target.selectionStart, bpl: target.hasAttribute('data-bpl')}) >= 0,
+                text: target.value, pos: target.selectionStart, empty: target.selectionStart === target.selectionEnd, bpl: target.hasAttribute('data-bpl'),
+                rect: () => textareaRect(target),
+                insert: (text, from = target.selectionStart) => {
+                    if (!e.valid()) return;
+                    target.focus();
+                    target.selectionStart = from;
+                    d.execCommand('insertText', false, text);
                 }};
+            return bplStart(e) >= 0 ? e : undefined;
         }
-        if (target.tagName !== 'TEXTAREA' || target.readOnly || target.disabled) return;
-        return {id: target, text: target.value, pos: target.selectionStart, empty: target.selectionStart === target.selectionEnd, bpl: target.hasAttribute('data-bpl'),
-            rect: () => textareaRect(target),
-            insert: (text, from = target.selectionStart) => {
-                target.focus();
-                target.selectionStart = from;
-                d.execCommand('insertText', false, text);
-            }};
-    }
 
-    const host = d.createElement('div');
-    host.innerHTML = `<div class="ngn_lb" aria-label="BPL symbols"><button class="ngn_x" title="Close symbol bar">×</button><button class="ngn_o" title="Toggle overlay/push-down"></button></div>
-        <div class="bpl_choices" role="group" aria-label="BPL symbol completions" hidden></div>
-        <style>
-        .ngn_lb,.bpl_choices{background:#eee;color:#111;font:15px var(--bpl-font),monospace;z-index:2147483647}
-        .ngn_lb{position:fixed;top:0;left:0;right:0;border-bottom:1px solid #999;padding:2px}
-        .ngn_lb button,.bpl_choices button{font:inherit;color:inherit;background:none;border:0;cursor:pointer;padding:2px 4px}
-        .ngn_lb button:hover,.bpl_choices button:hover{background:#777;color:white}
-        .ngn_x,.ngn_o{float:right}
-        .bpl_choices{position:fixed;max-height:240px;max-width:calc(100vw - 16px);overflow:auto;border:1px solid #888;border-radius:4px;box-shadow:0 3px 12px #0003;padding:4px}
-        .bpl_choices button{display:block;width:100%;text-align:left;white-space:nowrap}
-        .bpl_choices small{display:block;padding:4px}
-        .ngn_lb .bpl_dead::after{content:'▾';font-size:9px;margin-left:1px}
-        .bpl_choices.bpl_menu{max-width:min(320px,calc(100vw - 16px))}
-        .bpl_menu button{display:inline-block;width:auto;min-width:28px;text-align:center}
-        @media(prefers-color-scheme:dark){.ngn_lb,.bpl_choices{background:#222;color:#ddd}.ngn_lb button:hover,.bpl_choices button:hover{background:#bbb;color:#111}}
-        </style>`;
-    d.body.append(host);
-    const bar = host.querySelector('.ngn_lb'), tip = host.querySelector('.bpl_choices'), toggle = bar.querySelector('.ngn_o');
-    let overlay = false, active, lastEditor, choice, keyInput = false;
-    const originalPadding = d.body.style.paddingTop;
-    try { overlay = localStorage.getItem('ngn_lb_overlay') === '1'; } catch {}
-    function reflow() {
-        toggle.textContent = overlay ? '▼' : '▲';
-        d.body.style.paddingTop = overlay || bar.hidden ? originalPadding : `${bar.offsetHeight}px`;
-    }
-    const names = new Map(symbols.map(({glyph, name, monad, dyad}) =>
-        [glyph, [name, monad, dyad].filter(Boolean).join(' ')]));
-    function stateGlyphs(state) {
-        const {terminator, keys} = layout.states[state];
-        return [terminator, ...Object.values(keys).flatMap(value => typeof value === 'string' ? [value] : stateGlyphs(value.state))];
-    }
-    const groups = new Map(Object.values(layout.option).filter(value => value.state).map(({state}) =>
-        [layout.states[state].terminator, [...new Set(stateGlyphs(state))]]));
-    const variants = new Set([...groups.values()].flatMap(glyphs => glyphs.slice(1)));
-    function button(glyph, name) {
-        const b = d.createElement('button');
-        b.type = 'button'; b.textContent = glyph; b.title = (name || glyph) + (shortcuts.get(glyph) || ''); b.dataset.glyph = glyph;
-        return b;
-    }
-    // Related glyphs stay together; arrows meet at the boundary between menus and plain buttons.
-    const order = [...new Set([
-        ...'^_¯¨○⎕≡⍭↑↓←↦↢↣⇄∨∧⍺⍵∆∇⋄∊⍳⊂⊃∩∪⊥⊤⊣⊢×÷⌊⌈≤≥≠√π', ...groups.keys(), ...names.keys()
-    ])];
-    for (const glyph of [...order.filter(g => groups.has(g)), ...order.filter(g => !groups.has(g))]) {
-        if (!groups.has(glyph) && (variants.has(glyph) || /^[\x20-\x7e]+$/.test(glyph))) continue;
-        const b = button(glyph, names.get(glyph));
-        if (groups.has(glyph)) {
-            b.textContent = {'^': '²', '_': '₂'}[glyph] || glyph;
-            b.classList.add('bpl_dead');
-            b.setAttribute('aria-expanded', 'false');
-            b.title += ' (variants)';
+        const host = d.createElement('div');
+        host.innerHTML = `<div class="ngn_lb" aria-label="BPL symbols"></div>
+            <div class="bpl_choices" role="group" aria-label="BPL symbol completions" hidden></div>
+            <style>
+            .ngn_lb,.bpl_choices{background:var(--bpl-bar-background,#eee);color:var(--bpl-bar-color,#111);font:15px var(--bpl-font,SAX2B),monospace}
+            .ngn_lb{border-bottom:1px solid #999;padding:2px}
+            .ngn_lb button,.bpl_choices button{font:inherit;color:inherit;background:none;border:0;cursor:pointer;padding:2px 4px}
+            .ngn_lb button:hover,.bpl_choices button:hover{background:#777;color:white}
+            .bpl_choices{position:fixed;z-index:2147483647;max-height:240px;max-width:calc(100vw - 16px);overflow:auto;border:1px solid #888;border-radius:4px;box-shadow:0 3px 12px #0003;padding:4px}
+            .bpl_choices button{display:block;width:100%;text-align:left;white-space:nowrap}
+            .bpl_choices small{display:block;padding:4px}
+            .ngn_lb .bpl_dead::after{content:'▾';font-size:9px;margin-left:1px}
+            .bpl_choices.bpl_menu{max-width:min(320px,calc(100vw - 16px))}
+            .bpl_menu button{display:inline-block;width:auto;min-width:28px;text-align:center}
+            </style>`;
+        container.append(host);
+        const bar = host.querySelector('.ngn_lb'), tip = host.querySelector('.bpl_choices');
+        let active, lastEditor, choice, keyInput = false;
+        const names = new Map(symbols.map(({glyph, name, monad, dyad}) =>
+            [glyph, [name, monad, dyad].filter(Boolean).join(' ')]));
+        function stateGlyphs(state) {
+            const {terminator, keys} = layout.states[state];
+            return [terminator, ...Object.values(keys).flatMap(value => typeof value === 'string' ? [value] : stateGlyphs(value.state))];
         }
-        bar.append(b);
-    }
-    new ResizeObserver(reflow).observe(bar);
-    reflow();
-
-    function cancel() {
-        choice?.anchor?.setAttribute('aria-expanded', 'false');
-        active = undefined; choice = undefined; tip.hidden = true;
-    }
-    function show(e, item, anchor) {
-        tip.classList.toggle('bpl_menu', !!anchor);
-        tip.setAttribute('aria-label', anchor ? 'BPL symbol variants' : 'BPL symbol completions');
-        anchor?.setAttribute('aria-expanded', 'true');
-        if (choice?.item.query !== item.query || choice?.anchor !== anchor) {
-            tip.replaceChildren();
-            for (const [glyph, name] of item.found) {
-                const b = button(glyph, name);
-                if (!anchor) b.textContent = `${glyph} ${b.title}`;
-                tip.append(b);
-            }
-            if (!item.found.length) {
-                const note = d.createElement('small'); note.textContent = 'Unknown symbol'; tip.append(note);
+        const groups = new Map(Object.values(layout.option).filter(value => value.state).map(({state}) =>
+            [layout.states[state].terminator, [...new Set(stateGlyphs(state))]]));
+        const variants = new Set([...groups.values()].flatMap(glyphs => glyphs.slice(1)));
+        function button(glyph, name) {
+            const b = d.createElement('button');
+            b.type = 'button'; b.textContent = glyph; b.title = (name || glyph) + (shortcuts.get(glyph) || ''); b.dataset.glyph = glyph;
+            return b;
+        }
+        // Related glyphs stay together; arrows meet at the boundary between menus and plain buttons.
+        const order = [...new Set([
+            ...'^_¯¨○⎕≡⍭↑↓←↦↢↣⇄∨∧⍺⍵∆∇⋄∊⍳⊂⊃∩∪⊥⊤⊣⊢×÷⌊⌈≤≥≠√π', ...groups.keys(), ...names.keys()
+        ])];
+        for (const glyph of [...order.filter(g => groups.has(g)), ...order.filter(g => !groups.has(g))]) {
+            if (!groups.has(glyph) && (variants.has(glyph) || /^[\x20-\x7e]+$/.test(glyph))) continue;
+            const b = button(glyph, names.get(glyph));
+            if (groups.has(glyph)) {
+                b.textContent = {'^': '²', '_': '₂'}[glyph] || glyph;
+                b.classList.add('bpl_dead');
+                b.setAttribute('aria-expanded', 'false');
+                b.title += ' (variants)';
             }
+            bar.append(b);
         }
-        choice = {e, item, anchor};
-        tip.hidden = false;
-        const r = anchor ? anchor.getBoundingClientRect() : e.rect();
-        tip.style.left = `${Math.max(4, Math.min(r.left, innerWidth - tip.offsetWidth - 8))}px`;
-        tip.style.top = `${Math.max(bar.hidden || overlay ? 4 : bar.offsetHeight, Math.min(r.bottom + 4, innerHeight - tip.offsetHeight - 8))}px`;
-    }
-    function refresh(target) {
-        const e = editor(target), item = e && entry(e);
-        if (item && active?.id === e.id && active.start === item.start) show(e, item);
-        else cancel();
-    }
-    bar.addEventListener('mousedown', ev => {
-        ev.preventDefault();
-        const b = ev.target.closest('button');
-        const opened = choice?.anchor === b;
-        cancel();
-        if (b?.classList.contains('ngn_x')) { bar.hidden = true; reflow(); }
-        else if (b === toggle) {
-            overlay = !overlay;
-            try { localStorage.setItem('ngn_lb_overlay', overlay ? '1' : '0'); } catch {}
-            reflow();
-        } else if (b?.dataset.glyph && lastEditor) {
-            const glyph = b.dataset.glyph, group = groups.get(glyph);
-            if (group) {
-                if (!opened) show(lastEditor, {query: glyph, found: group.map(g => [g, names.get(g)])}, b);
-            } else lastEditor.insert(glyph);
+        function cancel() {
+            choice?.anchor?.setAttribute('aria-expanded', 'false');
+            active = undefined; choice = undefined; tip.hidden = true;
         }
-    });
-    tip.addEventListener('mousedown', ev => {
-        ev.preventDefault();
-        const b = ev.target.closest('button');
-        if (b && choice) choice.e.insert(b.dataset.glyph, choice.item.start);
-        cancel();
-    });
-    d.addEventListener('focusin', ev => { lastEditor = editor(ev.target); cancel(); });
-    d.addEventListener('pointerdown', ev => { if (!host.contains(ev.target)) cancel(); }, true);
-    d.addEventListener('pointerup', ev => { if (!host.contains(ev.target)) lastEditor = editor(ev.target); });
-    for (const event of ['paste', 'cut', 'compositionstart', 'focusout']) d.addEventListener(event, cancel, true);
-    d.addEventListener('input', ev => {
-        if (!keyInput || ev.inputType !== 'insertText' && ev.inputType !== 'deleteContentBackward') cancel();
-        keyInput = false;
-        requestAnimationFrame(() => { lastEditor = editor(ev.target); refresh(ev.target); });
-    });
-    window.addEventListener('blur', () => { leftAlt = rightAlt = false; cancel(); reset(); });
-    window.addEventListener('focusin', reset, true);
-    window.addEventListener('keyup', ev => {
-        if (ev.code === 'AltLeft') leftAlt = false;
-        if (ev.code === 'AltRight') rightAlt = false;
-        keyInput = false; lastEditor = editor(ev.target); if (active) refresh(ev.target);
-    }, true);
-    window.addEventListener('keydown', ev => {
-        if (ev.key === 'Escape' && choice?.anchor) {
-            cancel(); ev.preventDefault(); ev.stopImmediatePropagation(); return;
+        function show(e, item, anchor) {
+            tip.classList.toggle('bpl_menu', !!anchor);
+            tip.setAttribute('aria-label', anchor ? 'BPL symbol variants' : 'BPL symbol completions');
+            anchor?.setAttribute('aria-expanded', 'true');
+            if (choice?.item.query !== item.query || choice?.anchor !== anchor) {
+                tip.replaceChildren();
+                for (const [glyph, name] of item.found) {
+                    const b = button(glyph, name);
+                    if (!anchor) b.textContent = `${glyph} ${b.title}`;
+                    tip.append(b);
+                }
+                if (!item.found.length) {
+                    const note = d.createElement('small'); note.textContent = 'Unknown symbol'; tip.append(note);
+                }
+            }
+            choice = {e, item, anchor};
+            tip.hidden = false;
+            const r = anchor ? anchor.getBoundingClientRect() : e.rect();
+            tip.style.left = `${Math.max(4, Math.min(r.left, w.innerWidth - tip.offsetWidth - 8))}px`;
+            tip.style.top = `${Math.max(4, Math.min(r.bottom + 4, w.innerHeight - tip.offsetHeight - 8))}px`;
         }
-        keyInput = false;
-        if (ev.code === 'AltLeft') leftAlt = true;
-        if (ev.code === 'AltRight') rightAlt = true;
-        if (['Shift', 'Control', 'Alt', 'Meta'].includes(ev.key)) return;
-        const e = editor(ev.target);
-        if (!e || ev.isComposing || ev.defaultPrevented) { cancel(); return; }
-        lastEditor = e;
-        const body = bplStart(e);
-        const pressed = press(ev, leftAlt && !rightAlt && !ev.getModifierState('AltGraph') && body >= 0);
-        if (pressed) {
-            if (pressed.text) e.insert(pressed.text);
-            if (pressed.stop) { cancel(); ev.preventDefault(); ev.stopImmediatePropagation(); return; }
+        function refresh(target) {
+            const e = editor(target), item = e && entry(e);
+            if (item && active?.id === e.id && active.start === item.start) show(e, item);
+            else cancel();
         }
-        const item = entry(e), plain = !ev.ctrlKey && !ev.altKey && !ev.metaKey;
-        const tab = ev.key === 'Tab' && plain && !ev.shiftKey, enter = ev.key === 'Enter';
-        const typed = active?.id === e.id && active.start === item?.start;
-        const delimiter = plain && ev.key.length === 1 && !/[a-z]/i.test(ev.key);
-        if (item && (tab || typed && (enter || delimiter))) {
-            if (item.found.length === 1) {
-                e.insert(item.found[0][0], item.start);
-                cancel();
-            } else if (tab) {
-                active = {id: e.id, start: item.start};
-                show(e, item);
+        on(bar, 'mousedown', ev => {
+            ev.preventDefault();
+            const b = ev.target.closest('button');
+            const opened = choice?.anchor === b;
+            cancel();
+            if (!lastEditor?.valid()) lastEditor = undefined;
+            if (b?.dataset.glyph && lastEditor) {
+                const glyph = b.dataset.glyph, group = groups.get(glyph);
+                if (group) {
+                    if (!opened) show(lastEditor, {query: glyph, found: group.map(g => [g, names.get(g)])}, b);
+                } else lastEditor.insert(glyph);
+            }
+        });
+        on(tip, 'mousedown', ev => {
+            ev.preventDefault();
+            const b = ev.target.closest('button');
+            if (b && choice?.e.valid()) choice.e.insert(b.dataset.glyph, choice.item.start);
+            cancel();
+        });
+        on(d, 'focusin', ev => { if (!host.contains(ev.target)) lastEditor = editor(ev.target); cancel(); });
+        on(d, 'pointerdown', ev => { if (!host.contains(ev.target)) cancel(); }, true);
+        on(d, 'pointerup', ev => { if (!host.contains(ev.target)) lastEditor = editor(ev.target); });
+        for (const event of ['paste', 'cut', 'compositionstart', 'focusout']) on(d, event, cancel, true);
+        on(d, 'input', ev => {
+            if (!keyInput || ev.inputType !== 'insertText' && ev.inputType !== 'deleteContentBackward') cancel();
+            keyInput = false;
+            w.requestAnimationFrame(() => { if (!events.signal.aborted) { lastEditor = editor(ev.target); refresh(ev.target); } });
+        });
+        on(w, 'blur', () => { leftAlt = rightAlt = false; lastEditor = undefined; cancel(); reset(); });
+        on(w, 'focusin', reset, true);
+        on(w, 'keyup', ev => {
+            if (ev.code === 'AltLeft') leftAlt = false;
+            if (ev.code === 'AltRight') rightAlt = false;
+            keyInput = false; lastEditor = editor(ev.target); if (active) refresh(ev.target);
+        }, true);
+        on(w, 'keydown', ev => {
+            if (ev.key === 'Escape' && choice?.anchor) {
+                cancel(); ev.preventDefault(); ev.stopImmediatePropagation(); return;
+            }
+            keyInput = false;
+            if (ev.code === 'AltLeft') leftAlt = true;
+            if (ev.code === 'AltRight') rightAlt = true;
+            if (['Shift', 'Control', 'Alt', 'Meta'].includes(ev.key)) return;
+            const e = editor(ev.target);
+            if (!e || ev.isComposing || ev.defaultPrevented) { lastEditor = undefined; cancel(); reset(); return; }
+            if (lastEditor && lastEditor.id !== e.id) { cancel(); reset(); }
+            lastEditor = e;
+            const body = bplStart(e);
+            const pressed = press(ev, leftAlt && !rightAlt && !ev.getModifierState('AltGraph') && body >= 0);
+            if (pressed) {
+                if (pressed.text) e.insert(pressed.text);
+                if (pressed.stop) { cancel(); ev.preventDefault(); ev.stopImmediatePropagation(); return; }
             }
-            if (tab) { ev.preventDefault(); ev.stopImmediatePropagation(); return; }
+            const item = entry(e), plain = !ev.ctrlKey && !ev.altKey && !ev.metaKey;
+            const tab = ev.key === 'Tab' && plain && !ev.shiftKey, enter = ev.key === 'Enter';
+            const typed = active?.id === e.id && active.start === item?.start;
+            const delimiter = plain && ev.key.length === 1 && !/[a-z]/i.test(ev.key);
+            if (item && (tab || typed && (enter || delimiter))) {
+                if (item.found.length === 1) {
+                    e.insert(item.found[0][0], item.start);
+                    cancel();
+                } else if (tab) {
+                    active = {id: e.id, start: item.start};
+                    show(e, item);
+                }
+                if (tab) { ev.preventDefault(); ev.stopImmediatePropagation(); return; }
+            }
+            if (ev.key === '`' && plain) {
+                const updated = editor(ev.target), body = updated ? bplStart(updated) : -1;
+                if (updated && body >= 0 && updated.empty && inCode(updated.text.slice(body, updated.pos))) active = {id: updated.id, start: updated.pos};
+                else cancel();
+            } else if (!(typed && plain && (/^[a-z]$/i.test(ev.key) || ev.key === 'Backspace'))) cancel();
+            keyInput = plain && (ev.key.length === 1 || ev.key === 'Backspace');
+        }, true);
+        return {dispose() { events.abort(); reset(); lastEditor = undefined; cancel(); host.remove(); }};
+    }
+
+    function page(monaco) {
+        const d = document;
+        if (d.querySelector('.bpl_page_bar') || d.querySelector('meta[name=generator][content^=quarto]') && !d.querySelector('[data-bpl]')) return;
+        const container = d.createElement('div');
+        container.className = 'bpl_page_bar';
+        container.style.cssText = 'position:fixed;top:0;left:0;right:0;z-index:2147483647';
+        d.body.append(container);
+        const input = attach(monaco, container, true), bar = container.querySelector('.ngn_lb');
+        bar.insertAdjacentHTML('afterbegin', '<button class="ngn_x" style="float:right" title="Close symbol bar">×</button><button class="ngn_o" style="float:right" title="Toggle overlay/push-down"></button>');
+        let overlay = false;
+        const padding = d.body.style.paddingTop, toggle = bar.querySelector('.ngn_o');
+        try { overlay = localStorage.getItem('ngn_lb_overlay') === '1'; } catch {}
+        function reflow() {
+            toggle.textContent = overlay ? '▼' : '▲';
+            d.body.style.paddingTop = overlay || container.hidden ? padding : `${bar.offsetHeight}px`;
         }
-        if (ev.key === '`' && plain) {
-            const updated = editor(ev.target), body = bplStart(updated);
-            if (body >= 0 && updated.empty && inCode(updated.text.slice(body, updated.pos))) active = {id: updated.id, start: updated.pos};
-            else cancel();
-        } else if (!(typed && plain && (/^[a-z]$/i.test(ev.key) || ev.key === 'Backspace'))) cancel();
-        keyInput = plain && (ev.key.length === 1 || ev.key === 'Backspace');
-    }, true);
+        bar.querySelector('.ngn_x').onclick = () => { container.hidden = true; reflow(); };
+        toggle.onclick = () => {
+            overlay = !overlay;
+            try { localStorage.setItem('ngn_lb_overlay', overlay ? '1' : '0'); } catch {}
+            reflow();
+        };
+        const observer = new ResizeObserver(reflow);
+        observer.observe(bar); reflow();
+        return {dispose() { input.dispose(); observer.disconnect(); container.remove(); d.body.style.paddingTop = padding; }};
+    }
+    return {attach, page};
 })

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "basedpl",
-  "version": "0.1.75",
+  "version": "0.1.77",
   "description": "BasedPL, the Based-array Programming Language, is an APL-derived array language, borrowing ideas from J and BQN, with an emphasis on simple, consistent notation.",
   "license": "Apache-2.0",
   "repository": {