[data-v-code-group-tab][data-title="`CLAUDE.md`"]::before, [data-v-code-title][data-title="`CLAUDE.md`"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 24 24'%3E%3Cpath fill='%23888888' d='M17.304 3.541h-3.672l6.696 16.918H24Zm-10.608 0L0 20.459h3.744l1.37-3.553h7.005l1.369 3.553h3.744L10.536 3.541Zm-.371 10.223L8.616 7.82l2.291 5.945Z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="Bun: lessons from disrupting (Pragmatic Engineer)"]::before, [data-v-code-title][data-title="Bun: lessons from disrupting (Pragmatic Engineer)"]::before, [data-v-code-group-tab][data-title="Wikipedia: Bun"]::before, [data-v-code-title][data-title="Wikipedia: Bun"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='%23fbf0df' d='M29 17c0 5.65-5.82 10.23-13 10.23S3 22.61 3 17c0-3.5 2.24-6.6 5.66-8.44S14.21 4.81 16 4.81s3.32 1.54 7.34 3.71C26.76 10.36 29 13.46 29 17'/%3E%3Cpath fill='none' stroke='%23000' d='M16 27.65c7.32 0 13.46-4.65 13.46-10.65c0-3.72-2.37-7-5.89-8.85c-1.39-.75-2.46-1.41-3.37-2l-1.13-.69A6.14 6.14 0 0 0 16 4.35a6.9 6.9 0 0 0-3.3 1.23c-.42.24-.86.51-1.32.8c-.87.54-1.83 1.13-3 1.73C4.91 10 2.54 13.24 2.54 17c0 6 6.14 10.65 13.46 10.65Z'/%3E%3Cellipse cx='21.65' cy='18.62' fill='%23febbd0' rx='2.17' ry='1.28'/%3E%3Cellipse cx='10.41' cy='18.62' fill='%23febbd0' rx='2.17' ry='1.28'/%3E%3Cpath fill-rule='evenodd' d='M11.43 18.11a2 2 0 1 0-2-2.05a2.05 2.05 0 0 0 2 2.05m9.2 0a2 2 0 1 0-2-2.05a2 2 0 0 0 2 2.05'/%3E%3Cpath fill='%23fff' fill-rule='evenodd' d='M10.79 16.19a.77.77 0 1 0-.76-.77a.76.76 0 0 0 .76.77m9.2 0a.77.77 0 1 0 0-1.53a.77.77 0 0 0 0 1.53'/%3E%3Cpath fill='%23b71422' stroke='%23000' stroke-width='.75' d='M18.62 19.67a3.3 3.3 0 0 1-1.09 1.75a2.48 2.48 0 0 1-1.5.69a2.53 2.53 0 0 1-1.5-.69a3.28 3.28 0 0 1-1.08-1.75a.26.26 0 0 1 .29-.3h4.58a.27.27 0 0 1 .3.3Z'/%3E%3Cpath fill='%23ccbea7' fill-rule='evenodd' d='M14.93 5.75a6.1 6.1 0 0 1-2.09 4.62c-.1.09 0 .27.11.22c1.25-.49 2.94-1.94 2.23-4.88c-.03-.15-.25-.11-.25.04m.85 0a6 6 0 0 1 .57 5c0 .13.12.24.21.13c.83-1 1.54-3.11-.59-5.31c-.1-.11-.27.04-.19.17Zm1-.06a6.1 6.1 0 0 1 2.53 4.38c0 .14.21.17.24 0c.34-1.3.15-3.51-2.66-4.66c-.12-.02-.21.18-.09.27ZM9.94 9.55a6.27 6.27 0 0 0 3.89-3.33c.07-.13.28-.08.25.07c-.64 3-2.79 3.59-4.13 3.51c-.14-.01-.14-.21-.01-.25'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="github.com/Marcoj776/Calculating-Compilers"]::before, [data-v-code-title][data-title="github.com/Marcoj776/Calculating-Compilers"]::before, [data-v-code-group-tab][data-title="propext, Classical.choice, Quot.sound"]::before, [data-v-code-title][data-title="propext, Classical.choice, Quot.sound"]::before, [data-v-code-group-tab][data-title="propext, sorryAx, Classical.choice, Quot.sound"]::before, [data-v-code-title][data-title="propext, sorryAx, Classical.choice, Quot.sound"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='%23005f91' d='M10.676 15.973a10.05 10.05 0 0 0 1.175 5.151a5.446 5.446 0 0 0 6.306 2.408a4.28 4.28 0 0 0 3.09-3.6l.109-.61c1.737.251 4.537.658 6.274.906l-.11.44a11.26 11.26 0 0 1-2.7 5.39a9.44 9.44 0 0 1-5.366 2.688a14.6 14.6 0 0 1-8.277-.819a10.15 10.15 0 0 1-5.777-6.24a16.23 16.23 0 0 1 .019-11.45a10.54 10.54 0 0 1 8.963-7.054a13.35 13.35 0 0 1 6.666.555a9.57 9.57 0 0 1 6.167 6.9c.094.352.114.417.114.417c-1.932.351-4.319.8-6.238 1.215c-.362-1.915-1.265-3.428-3.2-3.9a5.263 5.263 0 0 0-6.616 3.57a10.5 10.5 0 0 0-.385 1.439a12.3 12.3 0 0 0-.214 2.594'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title=".decls["]::before, [data-v-code-title][data-title=".decls["]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cdefs%3E%3ClinearGradient id='SVGcfgOxcXG' x1='185.455' x2='181.955' y1='1601.641' y2='1630.224' gradientTransform='translate(-62.523 -666.646)scale(.427)' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0' stop-color='%23fff'/%3E%3Cstop offset='1' stop-color='%23fff' stop-opacity='0'/%3E%3C/linearGradient%3E%3ClinearGradient id='SVG5NB3weAE' x1='176.136' x2='172.636' y1='1600.5' y2='1629.083' href='%23SVGcfgOxcXG'/%3E%3C/defs%3E%3Cpath fill='%23b03931' d='m3.978 15.462l-.009-6.953a.59.59 0 0 1 .531-.562h.076l6.074-.009a15.7 15.7 0 0 1 6.067.95a8.9 8.9 0 0 1 2.244 1.359a4.47 4.47 0 0 1 2.946-1.083a4.11 4.11 0 0 1 4.276 3.92A4.11 4.11 0 0 1 21.907 17c-.089 0-.177-.008-.265-.012a7 7 0 0 1-.232.953a85 85 0 0 1 8.59 2.6V2H2v13.4q.992.02 1.978.062m22.8-7.944a1.32 1.32 0 0 1 1.374 1.259a1.379 1.379 0 0 1-2.747 0a1.32 1.32 0 0 1 1.375-1.26Z'/%3E%3Cpath fill='%23b03931' d='M17.861 15.787a4.11 4.11 0 0 0-1.748-3.458a5.8 5.8 0 0 0-1.508-.822a7.4 7.4 0 0 0-1.629-.438a22 22 0 0 0-2.588-.1H7.769l.006 4.737a89 89 0 0 1 9.91 1.408a5 5 0 0 0 .176-1.327m3.132 3.192a7.9 7.9 0 0 1-2.128 2.582a9.7 9.7 0 0 1-3.256 1.71a11.6 11.6 0 0 1-1.971.472h-.015a32 32 0 0 1-3.326.111l-5.625.022a.616.616 0 0 1-.686-.681l-.01-7.734Q2.992 15.42 2 15.4V30h28v-9.456a85 85 0 0 0-8.59-2.6a7 7 0 0 1-.417 1.035'/%3E%3Cpath fill='url(%23SVGcfgOxcXG)' d='M20.993 18.979a7.9 7.9 0 0 1-2.128 2.582a9.7 9.7 0 0 1-3.256 1.71a11.6 11.6 0 0 1-1.971.472h-.015a32 32 0 0 1-3.326.111l-5.625.022a.616.616 0 0 1-.686-.681l-.01-7.734Q2.992 15.42 2 15.4V30h28v-9.456a85 85 0 0 0-8.59-2.6a7 7 0 0 1-.417 1.035' opacity='.3'/%3E%3Cpath fill='%23b03931' d='M10.477 20.835a16 16 0 0 0 2.877-.2a7.6 7.6 0 0 0 1.628-.5a5.6 5.6 0 0 0 1.187-.748a4.46 4.46 0 0 0 1.518-2.271a89 89 0 0 0-9.91-1.408l.006 5.133Z'/%3E%3Cpath fill='url(%23SVG5NB3weAE)' d='M10.477 20.835a16 16 0 0 0 2.877-.2a7.6 7.6 0 0 0 1.628-.5a5.6 5.6 0 0 0 1.187-.748a4.46 4.46 0 0 0 1.518-2.271a89 89 0 0 0-9.91-1.408l.006 5.133Z' opacity='.3'/%3E%3Cpath fill='%23fff' d='M20.383 11.746a7 7 0 0 1 1.36 4.148a6.6 6.6 0 0 1-.1 1.1c.088 0 .176.012.265.012a4.11 4.11 0 0 0 4.276-3.92a4.11 4.11 0 0 0-4.276-3.92a4.47 4.47 0 0 0-2.946 1.083a8 8 0 0 1 1.421 1.497'/%3E%3Cellipse cx='26.78' cy='8.777' fill='%23fff' rx='1.374' ry='1.259'/%3E%3Cpath fill='%23fff' d='m4.673 23.877l5.625-.022a32 32 0 0 0 3.326-.111h.015a11.5 11.5 0 0 0 1.971-.472a9.7 9.7 0 0 0 3.256-1.71a7.9 7.9 0 0 0 2.128-2.582a7 7 0 0 0 .417-1.034a7 7 0 0 0 .332-2.051a7 7 0 0 0-1.36-4.148a8 8 0 0 0-1.421-1.5a8.9 8.9 0 0 0-2.244-1.359a15.7 15.7 0 0 0-6.067-.95l-6.074.009h-.076a.59.59 0 0 0-.532.562l.009 6.952l.01 7.734a.616.616 0 0 0 .685.682m3.1-12.908h2.619a22 22 0 0 1 2.588.1a7.4 7.4 0 0 1 1.629.438a5.8 5.8 0 0 1 1.508.822a4.12 4.12 0 0 1 1.748 3.458a5 5 0 0 1-.175 1.327a4.46 4.46 0 0 1-1.518 2.271a5.6 5.6 0 0 1-1.187.748a7.7 7.7 0 0 1-1.628.5a16 16 0 0 1-2.877.2H7.786L7.78 15.7Z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="`docfacts/examples/logger-counting.json`"]::before, [data-v-code-title][data-title="`docfacts/examples/logger-counting.json`"]::before, [data-v-code-group-tab][data-title="`docfacts/schema/example.schema.json`"]::before, [data-v-code-title][data-title="`docfacts/schema/example.schema.json`"]::before, [data-v-code-group-tab][data-title="`web/docs/page-manifest.json`"]::before, [data-v-code-title][data-title="`web/docs/page-manifest.json`"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='%23f5de19' d='M4.014 14.976a2.5 2.5 0 0 0 1.567-.518a2.38 2.38 0 0 0 .805-1.358a15.3 15.3 0 0 0 .214-2.944q.012-2.085.075-2.747a5.2 5.2 0 0 1 .418-1.686a3 3 0 0 1 .755-1.018A3.05 3.05 0 0 1 9 4.125A6.8 6.8 0 0 1 10.544 4h.7v1.96h-.387a2.34 2.34 0 0 0-1.723.468a3.4 3.4 0 0 0-.425 2.092a36 36 0 0 1-.137 4.133a4.7 4.7 0 0 1-.768 2.06A4.6 4.6 0 0 1 6.1 16a3.8 3.8 0 0 1 1.992 1.754a8.9 8.9 0 0 1 .618 3.865q0 2.435.05 2.9a1.76 1.76 0 0 0 .504 1.181a2.64 2.64 0 0 0 1.592.337h.387V28h-.7a5.7 5.7 0 0 1-1.773-.2a2.97 2.97 0 0 1-1.324-.93a3.35 3.35 0 0 1-.681-1.63a24 24 0 0 1-.165-3.234a16.5 16.5 0 0 0-.214-3.106a2.4 2.4 0 0 0-.805-1.361a2.5 2.5 0 0 0-1.567-.524Zm23.972 2.035a2.5 2.5 0 0 0-1.567.524a2.4 2.4 0 0 0-.805 1.361a16.5 16.5 0 0 0-.212 3.109a24 24 0 0 1-.169 3.234a3.35 3.35 0 0 1-.681 1.63a2.97 2.97 0 0 1-1.324.93a5.7 5.7 0 0 1-1.773.2h-.7V26.04h.387a2.64 2.64 0 0 0 1.592-.337a1.76 1.76 0 0 0 .506-1.186q.05-.462.05-2.9a8.9 8.9 0 0 1 .618-3.865A3.8 3.8 0 0 1 25.9 16a4.6 4.6 0 0 1-1.7-1.286a4.7 4.7 0 0 1-.768-2.06a36 36 0 0 1-.137-4.133a3.4 3.4 0 0 0-.425-2.092a2.34 2.34 0 0 0-1.723-.468h-.387V4h.7a6.8 6.8 0 0 1 1.54.125a3.05 3.05 0 0 1 1.149.581a3 3 0 0 1 .755 1.018a5.2 5.2 0 0 1 .418 1.686q.062.662.075 2.747a15.3 15.3 0 0 0 .212 2.947a2.38 2.38 0 0 0 .805 1.355a2.5 2.5 0 0 0 1.567.518Z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="\"#35\", \"#36\", \"docs/notes/design-space-map.md\""]::before, [data-v-code-title][data-title="\"#35\", \"#36\", \"docs/notes/design-space-map.md\""]::before, [data-v-code-group-tab][data-title="\"#44\", \"#48\", \"docs/roadmap/bang-northstar-roadmap.md\""]::before, [data-v-code-title][data-title="\"#44\", \"#48\", \"docs/roadmap/bang-northstar-roadmap.md\""]::before, [data-v-code-group-tab][data-title="\"docs/notes/design-space-map.md\""]::before, [data-v-code-title][data-title="\"docs/notes/design-space-map.md\""]::before, [data-v-code-group-tab][data-title="\"docs/notes/stdlib-map.md\""]::before, [data-v-code-title][data-title="\"docs/notes/stdlib-map.md\""]::before, [data-v-code-group-tab][data-title="\"docs/notes/verification-ladder.md\", \"#39\", \"#60\""]::before, [data-v-code-title][data-title="\"docs/notes/verification-ladder.md\", \"#39\", \"#60\""]::before, [data-v-code-group-tab][data-title="\"paths/archive/PATH-polymorphism.md\""]::before, [data-v-code-title][data-title="\"paths/archive/PATH-polymorphism.md\""]::before, [data-v-code-group-tab][data-title="\"references/README.md\""]::before, [data-v-code-title][data-title="\"references/README.md\""]::before, [data-v-code-group-tab][data-title="\"the web server / client (docs/roadmap/project-roadmap.md)\", \"Zig's Io interface\", \"bite-3 HKT (PATH-polymorphism)\", \"Go net/http\""]::before, [data-v-code-title][data-title="\"the web server / client (docs/roadmap/project-roadmap.md)\", \"Zig's Io interface\", \"bite-3 HKT (PATH-polymorphism)\", \"Go net/http\""]::before, [data-v-code-group-tab][data-title="`CONTRIBUTING.md`"]::before, [data-v-code-title][data-title="`CONTRIBUTING.md`"]::before, [data-v-code-group-tab][data-title="`ONBOARDING.md`"]::before, [data-v-code-title][data-title="`ONBOARDING.md`"]::before, [data-v-code-group-tab][data-title="`OPEN_QUESTIONS.md`"]::before, [data-v-code-title][data-title="`OPEN_QUESTIONS.md`"]::before, [data-v-code-group-tab][data-title="`actor-sendable-design.md`"]::before, [data-v-code-title][data-title="`actor-sendable-design.md`"]::before, [data-v-code-group-tab][data-title="`calc-typer-experiment-findings.md`"]::before, [data-v-code-title][data-title="`calc-typer-experiment-findings.md`"]::before, [data-v-code-group-tab][data-title="`calcjson-compiled-diagnosis.md`"]::before, [data-v-code-title][data-title="`calcjson-compiled-diagnosis.md`"]::before, [data-v-code-group-tab][data-title="`calculated-type-system-frontier.md`"]::before, [data-v-code-title][data-title="`calculated-type-system-frontier.md`"]::before, [data-v-code-group-tab][data-title="`calculated-typer-survey.md`"]::before, [data-v-code-title][data-title="`calculated-typer-survey.md`"]::before, [data-v-code-group-tab][data-title="`calm-as-grade-survey.md`"]::before, [data-v-code-title][data-title="`calm-as-grade-survey.md`"]::before, [data-v-code-group-tab][data-title="`cap-gc-rep-design.md`"]::before, [data-v-code-title][data-title="`cap-gc-rep-design.md`"]::before, [data-v-code-group-tab][data-title="`cap-representation-spike-findings.md`"]::before, [data-v-code-title][data-title="`cap-representation-spike-findings.md`"]::before, [data-v-code-group-tab][data-title="`carrier-inference-design.md`"]::before, [data-v-code-title][data-title="`carrier-inference-design.md`"]::before, [data-v-code-group-tab][data-title="`categorical-architecture.md`"]::before, [data-v-code-title][data-title="`categorical-architecture.md`"]::before, [data-v-code-group-tab][data-title="`clone-triage.md`"]::before, [data-v-code-title][data-title="`clone-triage.md`"]::before, [data-v-code-group-tab][data-title="`compiler-as-dbms-survey.md`"]::before, [data-v-code-title][data-title="`compiler-as-dbms-survey.md`"]::before, [data-v-code-group-tab][data-title="`compiler-overview.md`"]::before, [data-v-code-title][data-title="`compiler-overview.md`"]::before, [data-v-code-group-tab][data-title="`copy-kit.md`"]::before, [data-v-code-title][data-title="`copy-kit.md`"]::before, [data-v-code-group-tab][data-title="`ctr-design.md`"]::before, [data-v-code-title][data-title="`ctr-design.md`"]::before, [data-v-code-group-tab][data-title="`d5-param-handlers-design.md`"]::before, [data-v-code-title][data-title="`d5-param-handlers-design.md`"]::before, [data-v-code-group-tab][data-title="`design-space-map.md`"]::before, [data-v-code-title][data-title="`design-space-map.md`"]::before, [data-v-code-group-tab][data-title="`dev-env.md`"]::before, [data-v-code-title][data-title="`dev-env.md`"]::before, [data-v-code-group-tab][data-title="`development-lifecycle.md`"]::before, [data-v-code-title][data-title="`development-lifecycle.md`"]::before, [data-v-code-group-tab][data-title="`dispatch-verification-landscape.md`"]::before, [data-v-code-title][data-title="`dispatch-verification-landscape.md`"]::before, [data-v-code-group-tab][data-title="`distributed-story.md`"]::before, [data-v-code-title][data-title="`distributed-story.md`"]::before, [data-v-code-group-tab][data-title="`distribution-survey.md`"]::before, [data-v-code-title][data-title="`distribution-survey.md`"]::before, [data-v-code-group-tab][data-title="`docs/architecture/core-overview.md`"]::before, [data-v-code-title][data-title="`docs/architecture/core-overview.md`"]::before, [data-v-code-group-tab][data-title="`docs/decisions/README.md`"]::before, [data-v-code-title][data-title="`docs/decisions/README.md`"]::before, [data-v-code-group-tab][data-title="`docs/notes/distribution-survey.md`"]::before, [data-v-code-title][data-title="`docs/notes/distribution-survey.md`"]::before, [data-v-code-group-tab][data-title="`docs/notes/effect-sound-refoundation.md`"]::before, [data-v-code-title][data-title="`docs/notes/effect-sound-refoundation.md`"]::before, [data-v-code-group-tab][data-title="`docs/notes/questions/Q14-effect-sound-trace-observation.md`"]::before, [data-v-code-title][data-title="`docs/notes/questions/Q14-effect-sound-trace-observation.md`"]::before, [data-v-code-group-tab][data-title="`docs/notes/spec-proof-discipline.md`"]::before, [data-v-code-title][data-title="`docs/notes/spec-proof-discipline.md`"]::before, [data-v-code-group-tab][data-title="`docs/notes/tactics-survey.md`"]::before, [data-v-code-title][data-title="`docs/notes/tactics-survey.md`"]::before, [data-v-code-group-tab][data-title="`docs/reference/examples/logger-counting.md`"]::before, [data-v-code-title][data-title="`docs/reference/examples/logger-counting.md`"]::before, [data-v-code-group-tab][data-title="`dogfood-calc-findings.md`"]::before, [data-v-code-title][data-title="`dogfood-calc-findings.md`"]::before, [data-v-code-group-tab][data-title="`dogfood-json-findings.md`"]::before, [data-v-code-title][data-title="`dogfood-json-findings.md`"]::before, [data-v-code-group-tab][data-title="`effect-algebra-survey.md`"]::before, [data-v-code-title][data-title="`effect-algebra-survey.md`"]::before, [data-v-code-group-tab][data-title="`effect-sound-refoundation.md`"]::before, [data-v-code-title][data-title="`effect-sound-refoundation.md`"]::before, [data-v-code-group-tab][data-title="`effects-vs-cic.md`"]::before, [data-v-code-title][data-title="`effects-vs-cic.md`"]::before, [data-v-code-group-tab][data-title="`emission-bignum-design.md`"]::before, [data-v-code-title][data-title="`emission-bignum-design.md`"]::before, [data-v-code-group-tab][data-title="`emission-rung1-probe.md`"]::before, [data-v-code-title][data-title="`emission-rung1-probe.md`"]::before, [data-v-code-group-tab][data-title="`emission-rung3-design.md`"]::before, [data-v-code-title][data-title="`emission-rung3-design.md`"]::before, [data-v-code-group-tab][data-title="`emission-rung4-design.md`"]::before, [data-v-code-title][data-title="`emission-rung4-design.md`"]::before, [data-v-code-group-tab][data-title="`emission-rung5-design.md`"]::before, [data-v-code-title][data-title="`emission-rung5-design.md`"]::before, [data-v-code-group-tab][data-title="`envsem-survey.md`"]::before, [data-v-code-title][data-title="`envsem-survey.md`"]::before, [data-v-code-group-tab][data-title="`explainer-series.md`"]::before, [data-v-code-title][data-title="`explainer-series.md`"]::before, [data-v-code-group-tab][data-title="`flagged-headline-triage.md`"]::before, [data-v-code-title][data-title="`flagged-headline-triage.md`"]::before, [data-v-code-group-tab][data-title="`formatting-survey.md`"]::before, [data-v-code-title][data-title="`formatting-survey.md`"]::before, [data-v-code-group-tab][data-title="`god-file-seams.md`"]::before, [data-v-code-title][data-title="`god-file-seams.md`"]::before, [data-v-code-group-tab][data-title="`grade-poly-returner-consult.md`"]::before, [data-v-code-title][data-title="`grade-poly-returner-consult.md`"]::before, [data-v-code-group-tab][data-title="`h1b-nearness-design.md`"]::before, [data-v-code-title][data-title="`h1b-nearness-design.md`"]::before, [data-v-code-group-tab][data-title="`hang-61-diagnosis.md`"]::before, [data-v-code-title][data-title="`hang-61-diagnosis.md`"]::before, [data-v-code-group-tab][data-title="`host-io-design.md`"]::before, [data-v-code-title][data-title="`host-io-design.md`"]::before, [data-v-code-group-tab][data-title="`increment-lifecycle.md`"]::before, [data-v-code-title][data-title="`increment-lifecycle.md`"]::before, [data-v-code-group-tab][data-title="`interactive-tour-design.md`"]::before, [data-v-code-title][data-title="`interactive-tour-design.md`"]::before, [data-v-code-group-tab][data-title="`k2-calculation-playbook.md`"]::before, [data-v-code-title][data-title="`k2-calculation-playbook.md`"]::before, [data-v-code-group-tab][data-title="`k3-historical-status.md`"]::before, [data-v-code-title][data-title="`k3-historical-status.md`"]::before, [data-v-code-group-tab][data-title="`kernel-shell-library.md`"]::before, [data-v-code-title][data-title="`kernel-shell-library.md`"]::before, [data-v-code-group-tab][data-title="`kernel-substrate-survey.md`"]::before, [data-v-code-title][data-title="`kernel-substrate-survey.md`"]::before, [data-v-code-group-tab][data-title="`lambda-cube-ascent-survey.md`"]::before, [data-v-code-title][data-title="`lambda-cube-ascent-survey.md`"]::before, [data-v-code-group-tab][data-title="`laws-taxonomy.md`"]::before, [data-v-code-title][data-title="`laws-taxonomy.md`"]::before, [data-v-code-group-tab][data-title="`lean-comment-style.md`"]::before, [data-v-code-title][data-title="`lean-comment-style.md`"]::before, [data-v-code-group-tab][data-title="`listdecl-injection-design.md`"]::before, [data-v-code-title][data-title="`listdecl-injection-design.md`"]::before, [data-v-code-group-tab][data-title="`loop-audit.md`"]::before, [data-v-code-title][data-title="`loop-audit.md`"]::before, [data-v-code-group-tab][data-title="`memory-management-survey.md`"]::before, [data-v-code-title][data-title="`memory-management-survey.md`"]::before, [data-v-code-group-tab][data-title="`monadic-recast-spike-findings.md`"]::before, [data-v-code-title][data-title="`monadic-recast-spike-findings.md`"]::before, [data-v-code-group-tab][data-title="`multishot-survey.md`"]::before, [data-v-code-title][data-title="`multishot-survey.md`"]::before, [data-v-code-group-tab][data-title="`mutual-rec-design.md`"]::before, [data-v-code-title][data-title="`mutual-rec-design.md`"]::before, [data-v-code-group-tab][data-title="`ndet-dst-design.md`"]::before, [data-v-code-title][data-title="`ndet-dst-design.md`"]::before, [data-v-code-group-tab][data-title="`os-inspiration-survey.md`"]::before, [data-v-code-title][data-title="`os-inspiration-survey.md`"]::before, [data-v-code-group-tab][data-title="`proof-assets.md`"]::before, [data-v-code-title][data-title="`proof-assets.md`"]::before, [data-v-code-group-tab][data-title="`proof-export-survey.md`"]::before, [data-v-code-title][data-title="`proof-export-survey.md`"]::before, [data-v-code-group-tab][data-title="`q38-handler-surface-survey.md`"]::before, [data-v-code-title][data-title="`q38-handler-surface-survey.md`"]::before, [data-v-code-group-tab][data-title="`refinement-types-survey.md`"]::before, [data-v-code-title][data-title="`refinement-types-survey.md`"]::before, [data-v-code-group-tab][data-title="`rung5-s5-proofgrade-refutation.md`"]::before, [data-v-code-title][data-title="`rung5-s5-proofgrade-refutation.md`"]::before, [data-v-code-group-tab][data-title="`sched-library-demo.md`"]::before, [data-v-code-title][data-title="`sched-library-demo.md`"]::before, [data-v-code-group-tab][data-title="`scoped-cap-types-design.md`"]::before, [data-v-code-title][data-title="`scoped-cap-types-design.md`"]::before, [data-v-code-group-tab][data-title="`scoped-capabilities-for-vcapfree-drop.md`"]::before, [data-v-code-title][data-title="`scoped-capabilities-for-vcapfree-drop.md`"]::before, [data-v-code-group-tab][data-title="`spanned-surf-design.md`"]::before, [data-v-code-title][data-title="`spanned-surf-design.md`"]::before, [data-v-code-group-tab][data-title="`spec-handover.md`"]::before, [data-v-code-title][data-title="`spec-handover.md`"]::before, [data-v-code-group-tab][data-title="`spec-proof-discipline.md`"]::before, [data-v-code-title][data-title="`spec-proof-discipline.md`"]::before, [data-v-code-group-tab][data-title="`stage5-lr-design.md`"]::before, [data-v-code-title][data-title="`stage5-lr-design.md`"]::before, [data-v-code-group-tab][data-title="`stage6-soundness-design.md`"]::before, [data-v-code-title][data-title="`stage6-soundness-design.md`"]::before, [data-v-code-group-tab][data-title="`stage7-elab-probe.md`"]::before, [data-v-code-title][data-title="`stage7-elab-probe.md`"]::before, [data-v-code-group-tab][data-title="`stdlib-map.md`"]::before, [data-v-code-title][data-title="`stdlib-map.md`"]::before, [data-v-code-group-tab][data-title="`stdlib-prelude-survey.md`"]::before, [data-v-code-title][data-title="`stdlib-prelude-survey.md`"]::before, [data-v-code-group-tab][data-title="`stranger-test-1.md`"]::before, [data-v-code-title][data-title="`stranger-test-1.md`"]::before, [data-v-code-group-tab][data-title="`stranger-test-2.md`"]::before, [data-v-code-title][data-title="`stranger-test-2.md`"]::before, [data-v-code-group-tab][data-title="`stranger-test-3.md`"]::before, [data-v-code-title][data-title="`stranger-test-3.md`"]::before, [data-v-code-group-tab][data-title="`stranger-test-4.md`"]::before, [data-v-code-title][data-title="`stranger-test-4.md`"]::before, [data-v-code-group-tab][data-title="`stranger-test-5.md`"]::before, [data-v-code-title][data-title="`stranger-test-5.md`"]::before, [data-v-code-group-tab][data-title="`structok-multiarg-design.md`"]::before, [data-v-code-title][data-title="`structok-multiarg-design.md`"]::before, [data-v-code-group-tab][data-title="`tactics-survey.md`"]::before, [data-v-code-title][data-title="`tactics-survey.md`"]::before, [data-v-code-group-tab][data-title="`traction-survey.md`"]::before, [data-v-code-title][data-title="`traction-survey.md`"]::before, [data-v-code-group-tab][data-title="`traits-prelude-survey.md`"]::before, [data-v-code-title][data-title="`traits-prelude-survey.md`"]::before, [data-v-code-group-tab][data-title="`type-power-entry-design.md`"]::before, [data-v-code-title][data-title="`type-power-entry-design.md`"]::before, [data-v-code-group-tab][data-title="`typed-static-pivot-scope.md`"]::before, [data-v-code-title][data-title="`typed-static-pivot-scope.md`"]::before, [data-v-code-group-tab][data-title="`verification-ladder.md`"]::before, [data-v-code-title][data-title="`verification-ladder.md`"]::before, [data-v-code-group-tab][data-title="`wasm-concurrency-survey.md`"]::before, [data-v-code-title][data-title="`wasm-concurrency-survey.md`"]::before, [data-v-code-group-tab][data-title="`wgcexec-calculation-plan.md`"]::before, [data-v-code-title][data-title="`wgcexec-calculation-plan.md`"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='none' stroke='%23755838' d='M2.5 7.955h27v16.091h-27z'/%3E%3Cpath fill='%23755838' d='M5.909 20.636v-9.272h2.727l2.728 3.409l2.727-3.409h2.727v9.272h-2.727v-5.318l-2.727 3.409l-2.728-3.409v5.318zm17.046 0l-4.091-4.5h2.727v-4.772h2.727v4.772h2.727z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="`tools/docfacts_logger.py`"]::before, [data-v-code-title][data-title="`tools/docfacts_logger.py`"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cdefs%3E%3ClinearGradient id='SVGg4rxgcri' x1='-133.268' x2='-133.198' y1='-202.91' y2='-202.84' gradientTransform='matrix(189.38 0 0 189.81 25243.061 38519.17)' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0' stop-color='%23387eb8'/%3E%3Cstop offset='1' stop-color='%23366994'/%3E%3C/linearGradient%3E%3ClinearGradient id='SVG5ouQmWbV' x1='-133.575' x2='-133.495' y1='-203.203' y2='-203.133' gradientTransform='matrix(189.38 0 0 189.81 25309.061 38583.42)' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0' stop-color='%23ffe052'/%3E%3Cstop offset='1' stop-color='%23ffc331'/%3E%3C/linearGradient%3E%3C/defs%3E%3Cpath fill='url(%23SVGg4rxgcri)' d='M15.885 2.1c-7.1 0-6.651 3.07-6.651 3.07v3.19h6.752v1H6.545S2 8.8 2 16.005s4.013 6.912 4.013 6.912H8.33v-3.361s-.13-4.013 3.9-4.013h6.762s3.772.06 3.772-3.652V5.8s.572-3.712-6.842-3.712Zm-3.732 2.137a1.214 1.214 0 1 1-1.183 1.244v-.02a1.214 1.214 0 0 1 1.214-1.214Z'/%3E%3Cpath fill='url(%23SVG5ouQmWbV)' d='M16.085 29.91c7.1 0 6.651-3.08 6.651-3.08v-3.18h-6.751v-1h9.47S30 23.158 30 15.995s-4.013-6.912-4.013-6.912H23.64V12.4s.13 4.013-3.9 4.013h-6.765S9.2 16.356 9.2 20.068V26.2s-.572 3.712 6.842 3.712h.04Zm3.732-2.147A1.214 1.214 0 1 1 21 26.519v.03a1.214 1.214 0 0 1-1.214 1.214z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="gleam.run"]::before, [data-v-code-title][data-title="gleam.run"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cdefs%3E%3ClinearGradient id='SVGKqV9jdVi' x1='-134.811' x2='-134.772' y1='-103.284' y2='-103.323' gradientTransform='matrix(721.094 0 0 -482.937 97213.595 -49874.512)' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0' stop-color='%23cbced0'/%3E%3Cstop offset='1' stop-color='%2384838b'/%3E%3C/linearGradient%3E%3ClinearGradient id='SVG5aLaoevq' x1='-135.378' x2='-135.339' y1='-102.985' y2='-103.024' gradientTransform='matrix(398 0 0 -406.124 53893 -41812.836)' gradientUnits='userSpaceOnUse'%3E%3Cstop offset='0' stop-color='%23276dc3'/%3E%3Cstop offset='1' stop-color='%23165caa'/%3E%3C/linearGradient%3E%3C/defs%3E%3Cpath fill='url(%23SVGKqV9jdVi)' d='M16 23.956c-7.732 0-14-4.2-14-9.376S8.268 5.2 16 5.2s14 4.2 14 9.38s-6.268 9.376-14 9.376M18.143 8.87C12.266 8.87 7.5 11.74 7.5 15.28s4.764 6.41 10.641 6.41s10.214-1.962 10.214-6.41s-4.335-6.41-10.212-6.41'/%3E%3Cpath fill='url(%23SVG5aLaoevq)' d='M23.321 19.726a11 11 0 0 1 1.34.5a2.6 2.6 0 0 1 .68.485a1.8 1.8 0 0 1 .311.447l3.339 5.63h-5.4l-2.524-4.74a6 6 0 0 0-.835-1.145a.88.88 0 0 0-.641-.291h-1.28v6.173h-4.776V11.026h9.591s4.374.074 4.374 4.235s-4.179 4.465-4.179 4.465m-2.077-5.28h-2.891v2.681h2.893a1.323 1.323 0 0 0 1.34-1.364a1.247 1.247 0 0 0-1.342-1.316Z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="`tools/check-examples.sh`"]::before, [data-v-code-title][data-title="`tools/check-examples.sh`"]::before, [data-v-code-group-tab][data-title="`tools/check.sh`"]::before, [data-v-code-title][data-title="`tools/check.sh`"]::before, [data-v-code-group-tab][data-title="`tools/emit-rung1-diff.sh`"]::before, [data-v-code-title][data-title="`tools/emit-rung1-diff.sh`"]::before, [data-v-code-group-tab][data-title="`tools/test-82-verbs.sh`"]::before, [data-v-code-title][data-title="`tools/test-82-verbs.sh`"]::before, [data-v-code-group-tab][data-title="`tools/test-check-json.sh`"]::before, [data-v-code-title][data-title="`tools/test-check-json.sh`"]::before, [data-v-code-group-tab][data-title="`tools/test-docfacts-logger.sh`"]::before, [data-v-code-title][data-title="`tools/test-docfacts-logger.sh`"]::before, [data-v-code-group-tab][data-title="`tools/test-fmt.sh`"]::before, [data-v-code-title][data-title="`tools/test-fmt.sh`"]::before, [data-v-code-group-tab][data-title="`tools/test-query.sh`"]::before, [data-v-code-title][data-title="`tools/test-query.sh`"]::before, [data-v-code-group-tab][data-title="`tools/test-rewrite.sh`"]::before, [data-v-code-title][data-title="`tools/test-rewrite.sh`"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='%23d9b400' d='M29.4 27.6H2.5V4.5h26.9Zm-25.9-1h24.9V5.5H3.5Z'/%3E%3Cpath fill='%23d9b400' d='m6.077 19.316l-.555-.832l4.844-3.229l-4.887-4.071l.641-.768l5.915 4.928zM12.7 18.2h7.8v1h-7.8zM2.5 5.5h26.9v1.9H2.5z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="-o out.wasm"]::before, [data-v-code-title][data-title="-o out.wasm"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='%23654ff0' d='M19.153 2.35v.15a3.2 3.2 0 1 1-6.4 0v-.15H2v27.919h27.919V2.35Z'/%3E%3Cpath fill='%23fff' d='M8.485 17.4h1.85l1.265 6.723h.023L13.14 17.4h1.731l1.371 6.81h.027l1.44-6.81h1.815l-2.358 9.885h-1.837l-1.36-6.728h-.036l-1.456 6.728h-1.87Zm13.124 0h2.917l2.9 9.885h-1.911l-.63-2.2h-3.323l-.486 2.2h-1.859Zm1.11 2.437l-.807 3.627h2.512l-.924-3.632Z'/%3E%3C/svg%3E") no-repeat center; background-size: contain; } [data-v-code-group-tab][data-title="`.github/workflows/release.yml`"]::before, [data-v-code-title][data-title="`.github/workflows/release.yml`"]::before { content: ''; display: inline-block; width: 1em; height: 1em; margin-right: 0.5em; vertical-align: text-bottom; background: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='%23ffe885' d='M2 12.218c.755 0 1.51-.008 2.264 0l.053.038l2.761 2.758c.891-.906 1.8-1.794 2.7-2.7c.053-.052.11-.113.192-.1h1.823a1.4 1.4 0 0 1 .353.019c-.7.67-1.377 1.369-2.069 2.05L5.545 18.8c-.331.324-.648.663-.989.975c-.754.022-1.511.007-2.266.007c1.223-1.209 2.431-2.433 3.658-3.637c-1.321-1.304-2.63-2.62-3.948-3.927m10.7 0h1.839v7.566c-.611 0-1.222.012-1.832-.008v-4.994c-1.6 1.607-3.209 3.2-4.811 4.8c-.089.08-.166.217-.305.194c-.824-.006-1.649 0-2.474 0Q8.916 16 12.7 12.218m2.258.002c.47-.009.939 0 1.409 0c.836.853 1.69 1.689 2.536 2.532q1.268-1.267 2.539-2.532h1.4q-.008 3.784 0 7.567c-.471 0-.943.006-1.414 0q.008-2.387 0-4.773c-.844.843-1.676 1.7-2.526 2.536c-.856-.835-1.687-1.695-2.532-2.541c0 1.594-.006 3.188.006 4.781c-.472 0-.943.005-1.415 0q-.003-3.79-.003-7.57m8.301-.003c.472 0 .944-.007 1.416 0q-.007 3.083 0 6.166h3.782c.063.006.144-.012.191.045c.448.454.907.9 1.353 1.354q-3.371.007-6.741 0q.007-3.782-.001-7.565'/%3E%3C/svg%3E") no-repeat center; background-size: contain; }