FunctionalScript

FunctionalScript

NPM Version

FunctionalScript is a safe, purely functional programming language and a strict subset of ECMAScript/JavaScript. It's inspired by

  • JSON and JSON5 as subsets of JavaScript values. JSON is also a subset of FunctionalScript values.
  • asm.JS (a precursor of WebAssembly), as a subset of JavaScript.
  • TypeScript, as a superset of JavaScript.

Its abbreviation is FJS.

The FunctionalScript specification describes the language the compiler accepts today; features not implemented yet are in spec/todo/.

Learn more about

This repository is a monorepo and distributed under MIT.

Getting Started

Install FunctionalScript via npm:

npm install -g functionalscript

or run the CLI without installing it, with npx functionalscript <command>.

Compiling a module

A FunctionalScript module is already a JavaScript module, so nothing has to be compiled to run it. fjs compile goes the other way: it resolves every import and writes the language the output name declares. The value outputs, .json and .data.js, initialize the complete module and its required dependencies, then serialize only the default export as data. Calls and operators can compute that data; a function remaining in the selected result is refused.

The graph outputs, .js, .edag.data.js and .rs, preserve the program without running module initialization, including functions, calls and operators within each output's supported profile. The .js writer supports ordinary and method calls, spreads and operators, but remains partial: it refuses graph shapes it cannot reconstruct as FunctionalScript source. See the output contracts and limits.

// m.f.js
export default ["text"];

// input.f.js
import c from "./m.f.js";
const a = 1;
export default [a, a, c, { x: c }];
fjs compile input.f.js output.data.js       # DataJS
fjs compile input.f.js output.js            # FunctionalScript
fjs compile input.f.js output.json          # JSON
fjs compile input.f.js output.edag.data.js  # the program's EDAG
fjs compile input.f.js output.rs            # a generated nanvm-lib module

Each .js name has an .mjs twin — .data.mjs, .mjs, .edag.data.mjs — for a file that must load as an ES module whatever the package's "type" says.

c is one array reached twice, so output.data.js keeps it shared:

const $0=["text"];export default [1,1,$0,{"x":$0}];

JSON is a tree and carries no identity, so output.json writes the array where each reference reaches it, as JSON.stringify does:

[1,1,["text"],{"x":["text"]}]

The specification is the reference for what the compiler accepts, and its Output section says what each output writes or refuses.

The fjs CLI

CommandDescriptionDocumentation
fjs testRun the FunctionalScript test suitefjs/emergent_testing
fjs compileCompile a FunctionalScript module to JavaScript or JSONfjs/compiler
fjs casContent-addressable storage (add, get, list)fjs/cas/README.md
fjs mcpMCP server over stdio, exposing the CAS and Evo as toolsfjs/mcp/README.md
fjs ciGenerate the GitHub Actions CI and npm publishing workflowsfjs/ci/README.md
fjs webServe a directory over HTTPfjs/web/README.md
fjs runRun a FunctionalScript module as a Node programfjs/README.md
fjs helpPrint the available commandsfjs/README.md

Run fjs help to print the available commands, or see fjs/README.md for the full CLI reference. Commands also accept short aliases, which fjs help prints; the documentation spells them out instead.

Vision

We aim to create a safe, cross-platform programming language that can work in any JS platform without any build step. There are thousands of programming languages, and we don't want to create another one that others must learn. Instead, we take the opposite approach: we remove everything that makes the most popular and cross-platform language unsafe, insecure, or less portable.

Applications

FunctionalScript code can be used:

  • safely in any JavaScript/TypeScript application or library;
  • as a JSON with expressions, see DJS;
  • as a query language;
  • as a smart contract programming language in DeFi.

Design Principles

In FunctionalScript:

  • Any module is a valid JavaScript module. No additional build steps are required.
  • Code should not have side-effects. Any JavaScript statement, expression, or function that has a side effect is not allowed in FunctionalScript. There are no exceptions to this rule, such as unsafe code, which can be found in Rust, C#, and other languages.
  • A module can depend only on another FunctionalScript module.
  • It also has no standard library. Only a safe subset of standard JavaScript API can be used without referencing other modules.

Sponsors

Emergent Testing

FunctionalScript derives this browser-native unit-test suite from exported proofs. Read “Emergent Testing in JavaScript”.

Idle. Press Run to start the suite.

  • ./fjs/asn.1/proof.f.mjs
  • ./fjs/asserts/proof.f.mjs
  • ./fjs/basen/base128/proof.f.mjs
  • ./fjs/basen/base16/proof.f.mjs
  • ./fjs/basen/base64/proof.f.mjs
  • ./fjs/basen/base64url/proof.f.mjs
  • ./fjs/basen/cbase32/proof.f.mjs
  • ./fjs/basen/proof.f.mjs
  • ./fjs/cas/cli/proof.f.mjs
  • ./fjs/cas/evo/proof.f.mjs
  • ./fjs/cas/git/cli/proof.f.mjs
  • ./fjs/cas/git/proof.f.mjs
  • ./fjs/cas/proof.f.mjs
  • ./fjs/ci/bun/proof.f.mjs
  • ./fjs/ci/cache/inputs/proof.f.mjs
  • ./fjs/ci/cache/proof.f.mjs
  • ./fjs/ci/cache/publish/proof.f.mjs
  • ./fjs/ci/common/proof.f.mjs
  • ./fjs/ci/deno/proof.f.mjs
  • ./fjs/ci/environment/proof.f.mjs
  • ./fjs/ci/mise/proof.f.mjs
  • ./fjs/ci/node/proof.f.mjs
  • ./fjs/ci/package/proof.f.mjs
  • ./fjs/ci/proof.f.mjs
  • ./fjs/ci/publish/proof.f.mjs
  • ./fjs/ci/rust/proof.f.mjs
  • ./fjs/ci/self/proof.f.mjs
  • ./fjs/ci/smart/proof.f.mjs
  • ./fjs/ci/spidermonkey/proof.f.mjs
  • ./fjs/cli/proof.f.mjs
  • ./fjs/common/monoid/proof.f.mjs
  • ./fjs/common/monoid/repeat/proof.f.mjs
  • ./fjs/compiler/ast/proof.f.mjs
  • ./fjs/compiler/edag/compound_assignments.proof.f.mjs
  • ./fjs/compiler/edag/demo.proof.f.mjs
  • ./fjs/compiler/edag/depth.proof.f.mjs
  • ./fjs/compiler/edag/proof.f.mjs
  • ./fjs/compiler/edag/recursion.proof.f.mjs
  • ./fjs/compiler/edag/static.proof.f.mjs
  • ./fjs/compiler/edag/switch.proof.f.mjs
  • ./fjs/compiler/edag/terminal_loops.proof.f.mjs
  • ./fjs/compiler/examples/proof.f.mjs
  • ./fjs/compiler/graph/proof.f.mjs
  • ./fjs/compiler/language.proof.f.mjs
  • ./fjs/compiler/parameters/proof.f.mjs
  • ./fjs/compiler/parser/bindings.proof.f.mjs
  • ./fjs/compiler/parser/conditional_loops.proof.f.mjs
  • ./fjs/compiler/parser/control_flow.proof.f.mjs
  • ./fjs/compiler/parser/defaults.proof.f.mjs
  • ./fjs/compiler/parser/destructuring.proof.f.mjs
  • ./fjs/compiler/parser/for.proof.f.mjs
  • ./fjs/compiler/parser/func.proof.f.mjs
  • ./fjs/compiler/parser/function_exits.proof.f.mjs
  • ./fjs/compiler/parser/grammar/proof.f.mjs
  • ./fjs/compiler/parser/loop_exits.proof.f.mjs
  • ./fjs/compiler/parser/loop_switches.proof.f.mjs
  • ./fjs/compiler/parser/module_loops.proof.f.mjs
  • ./fjs/compiler/parser/nested_loops.proof.f.mjs
  • ./fjs/compiler/parser/normal_if.proof.f.mjs
  • ./fjs/compiler/parser/operators.proof.f.mjs
  • ./fjs/compiler/parser/proof.f.mjs
  • ./fjs/compiler/parser/statements.proof.f.mjs
  • ./fjs/compiler/parser/static.proof.f.mjs
  • ./fjs/compiler/parser/structured.proof.f.mjs
  • ./fjs/compiler/parser/syntax/normal_if.proof.f.mjs
  • ./fjs/compiler/parser/syntax/proof.f.mjs
  • ./fjs/compiler/parser/templates.proof.f.mjs
  • ./fjs/compiler/parser/terminal_loops.proof.f.mjs
  • ./fjs/compiler/proof.f.mjs
  • ./fjs/compiler/refused_demo/proof.f.mjs
  • ./fjs/compiler/rust/proof.f.mjs
  • ./fjs/compiler/rust/runtime/proof.f.mjs
  • ./fjs/compiler/serializer/block_assignments.proof.f.mjs
  • ./fjs/compiler/serializer/function_text/proof.f.mjs
  • ./fjs/compiler/serializer/names/proof.f.mjs
  • ./fjs/compiler/serializer/primitive_captures.proof.f.mjs
  • ./fjs/compiler/serializer/proof.f.mjs
  • ./fjs/compiler/serializer/shared_comma.proof.f.mjs
  • ./fjs/compiler/serializer/value/proof.f.mjs
  • ./fjs/compiler/source/proof.f.mjs
  • ./fjs/compiler/stage_demo/proof.f.mjs
  • ./fjs/compiler/sugar/demo.proof.f.mjs
  • ./fjs/compiler/tokenizer/proof.f.mjs
  • ./fjs/compiler/transpiler/proof.f.mjs
  • ./fjs/crypto/hmac/proof.f.mjs
  • ./fjs/crypto/mental_poker/proof.f.mjs
  • ./fjs/crypto/pow/proof.f.mjs
  • ./fjs/crypto/secp/proof.f.mjs
  • ./fjs/crypto/sha1/proof.f.mjs
  • ./fjs/crypto/sha2/proof.f.mjs
  • ./fjs/crypto/sign/nonce_reuse/proof.f.mjs
  • ./fjs/crypto/sign/proof.f.mjs
  • ./fjs/crypto/vdf/performance/proof.f.mjs
  • ./fjs/crypto/vdf/proof.f.mjs
  • ./fjs/deps/proof.f.mjs
  • ./fjs/dev/clean/proof.f.mjs
  • ./fjs/dev/gen/proof.f.mjs
  • ./fjs/dev/module.f.mjs
  • ./fjs/dev/proof.f.mjs
  • ./fjs/ebnf/ast/proof.f.mjs
  • ./fjs/ebnf/byte/proof.f.mjs
  • ./fjs/ebnf/data/proof.f.mjs
  • ./fjs/ebnf/lib/datajs/proof.f.mjs
  • ./fjs/ebnf/lib/js/proof.f.mjs
  • ./fjs/ebnf/lib/json/proof.f.mjs
  • ./fjs/ebnf/lib/markdown/proof.f.mjs
  • ./fjs/ebnf/ll1/proof.f.mjs
  • ./fjs/ebnf/proof.f.mjs
  • ./fjs/ebnf/railroad/proof.f.mjs
  • ./fjs/ebnf/token_symbol/proof.f.mjs
  • ./fjs/ebnf/utf16/proof.f.mjs
  • ./fjs/edag/amnesia/proof.f.mjs
  • ./fjs/edag/analysis/proof.f.mjs
  • ./fjs/edag/demand/proof.f.mjs
  • ./fjs/edag/from_fast/anchors.proof.f.mjs
  • ./fjs/edag/from_fast/capture_returns/proof.f.mjs
  • ./fjs/edag/from_fast/control.proof.f.mjs
  • ./fjs/edag/from_fast/control/proof.f.mjs
  • ./fjs/edag/from_fast/control_flow.proof.f.mjs
  • ./fjs/edag/from_fast/deferred_loop_cells/proof.f.mjs
  • ./fjs/edag/from_fast/deferred_tail_calls.proof.f.mjs
  • ./fjs/edag/from_fast/eager_operand_memo/proof.f.mjs
  • ./fjs/edag/from_fast/entry_returns/proof.f.mjs
  • ./fjs/edag/from_fast/initializer_loop_cells/proof.f.mjs
  • ./fjs/edag/from_fast/invariant.proof.f.mjs
  • ./fjs/edag/from_fast/lazy_returns/proof.f.mjs
  • ./fjs/edag/from_fast/loop/completions/proof.f.mjs
  • ./fjs/edag/from_fast/loop/invocation_aliases.proof.f.mjs
  • ./fjs/edag/from_fast/loop/memo/cells/proof.f.mjs
  • ./fjs/edag/from_fast/loop/memo/integration/proof.f.mjs
  • ./fjs/edag/from_fast/loop/memo/proof.f.mjs
  • ./fjs/edag/from_fast/loop/owning/proof.f.mjs
  • ./fjs/edag/from_fast/loop/proof.f.mjs
  • ./fjs/edag/from_fast/loop/root/owning.proof.f.mjs
  • ./fjs/edag/from_fast/loop/root/proof.f.mjs
  • ./fjs/edag/from_fast/member_returns/proof.f.mjs
  • ./fjs/edag/from_fast/native_returns/proof.f.mjs
  • ./fjs/edag/from_fast/normal_memo_members/proof.f.mjs
  • ./fjs/edag/from_fast/normal_memo_spreads/proof.f.mjs
  • ./fjs/edag/from_fast/object_spread_returns/proof.f.mjs
  • ./fjs/edag/from_fast/operand_order/proof.f.mjs
  • ./fjs/edag/from_fast/operand_owned_demands/proof.f.mjs
  • ./fjs/edag/from_fast/owning_tail_calls.proof.f.mjs
  • ./fjs/edag/from_fast/proof.f.mjs
  • ./fjs/edag/from_fast/source/proof.f.mjs
  • ./fjs/edag/from_fast/spread_returns/proof.f.mjs
  • ./fjs/edag/from_fast/terminal_loops.proof.f.mjs
  • ./fjs/edag/from_fast/transfer_returns/proof.f.mjs
  • ./fjs/edag/from_fast/wrapped_returns/proof.f.mjs
  • ./fjs/edag/loop/proof.f.mjs
  • ./fjs/edag/memo/proof.f.mjs
  • ./fjs/edag/operations/proof.f.mjs
  • ./fjs/edag/proof.f.mjs
  • ./fjs/edag/rust/proof.f.mjs
  • ./fjs/edag/rust/unmarked/proof.f.mjs
  • ./fjs/edag/sharing/proof.f.mjs
  • ./fjs/edag/testlib.proof.f.mjs
  • ./fjs/edag/to_fast/join/proof.f.mjs
  • ./fjs/edag/to_fast/proof.f.mjs
  • ./fjs/edag/to_fast/source/loops/fallback.proof.f.mjs
  • ./fjs/edag/to_fast/source/loops/proof.f.mjs
  • ./fjs/edag/to_fast/source/loops/shared_continuations.proof.f.mjs
  • ./fjs/edag/to_fast/source/proof.f.mjs
  • ./fjs/edag/to_fast/tail/independent_recipes.proof.f.mjs
  • ./fjs/edag/to_fast/tail/mixed_self.proof.f.mjs
  • ./fjs/edag/to_fast/tail/proof.f.mjs
  • ./fjs/edag/to_fast/tail_calls/proof.f.mjs
  • ./fjs/edag/value/array/proof.f.mjs
  • ./fjs/edag/value/array_method/proof.f.mjs
  • ./fjs/edag/value/at/proof.f.mjs
  • ./fjs/edag/value/call/proof.f.mjs
  • ./fjs/edag/value/closure/proof.f.mjs
  • ./fjs/edag/value/coercion/proof.f.mjs
  • ./fjs/edag/value/control/proof.f.mjs
  • ./fjs/edag/value/convert/proof.f.mjs
  • ./fjs/edag/value/entries/proof.f.mjs
  • ./fjs/edag/value/function/proof.f.mjs
  • ./fjs/edag/value/metadata/proof.f.mjs
  • ./fjs/edag/value/method/proof.f.mjs
  • ./fjs/edag/value/numeric/proof.f.mjs
  • ./fjs/edag/value/object/proof.f.mjs
  • ./fjs/edag/value/proof.f.mjs
  • ./fjs/edag/value/property/proof.f.mjs
  • ./fjs/edag/value/relational/proof.f.mjs
  • ./fjs/edag/value/semantics/proof.f.mjs
  • ./fjs/edag/value/slice/proof.f.mjs
  • ./fjs/edag/value/to_unknown/proof.f.mjs
  • ./fjs/effects/browser/proof.f.mjs
  • ./fjs/effects/common/proof.f.mjs
  • ./fjs/effects/list/proof.f.mjs
  • ./fjs/effects/memory/proof.f.mjs
  • ./fjs/effects/mock/proof.f.mjs
  • ./fjs/effects/node/proof.f.mjs
  • ./fjs/effects/node/virtual/proof.f.mjs
  • ./fjs/effects/node/virtual/readdir/proof.f.mjs
  • ./fjs/effects/proof.f.mjs
  • ./fjs/effects/schema/proof.f.mjs
  • ./fjs/effects/testlib.proof.f.mjs
  • ./fjs/emergent_testing/browser/demo.f.mjs
  • ./fjs/emergent_testing/browser/proof.f.mjs
  • ./fjs/emergent_testing/cov/proof.f.mjs
  • ./fjs/emergent_testing/example.f.js
  • ./fjs/emergent_testing/node/proof.f.mjs
  • ./fjs/emergent_testing/proof.f.mjs
  • ./fjs/fsm/proof.f.mjs
  • ./fjs/git/alternates/proof.f.mjs
  • ./fjs/git/bytes/proof.f.mjs
  • ./fjs/git/commit/proof.f.mjs
  • ./fjs/git/config/proof.f.mjs
  • ./fjs/git/format/proof.f.mjs
  • ./fjs/git/header/proof.f.mjs
  • ./fjs/git/ident/proof.f.mjs
  • ./fjs/git/inflater/proof.f.mjs
  • ./fjs/git/loose/proof.f.mjs
  • ./fjs/git/object/proof.f.mjs
  • ./fjs/git/oid/proof.f.mjs
  • ./fjs/git/pack/proof.f.mjs
  • ./fjs/git/packidx/proof.f.mjs
  • ./fjs/git/packstore/proof.f.mjs
  • ./fjs/git/ref/proof.f.mjs
  • ./fjs/git/refname/proof.f.mjs
  • ./fjs/git/refstore/name/proof.f.mjs
  • ./fjs/git/refstore/proof.f.mjs
  • ./fjs/git/refstore/scope/proof.f.mjs
  • ./fjs/git/refstore/testlib.proof.f.mjs
  • ./fjs/git/refstore/write/proof.f.mjs
  • ./fjs/git/repo/proof.f.mjs
  • ./fjs/git/store/proof.f.mjs
  • ./fjs/git/tag/proof.f.mjs
  • ./fjs/git/testlib.proof.f.mjs
  • ./fjs/git/tree/proof.f.mjs
  • ./fjs/git/walk/proof.f.mjs
  • ./fjs/js/array_index/proof.f.mjs
  • ./fjs/js/ast/control/proof.f.mjs
  • ./fjs/js/ast/invocation/proof.f.mjs
  • ./fjs/js/ast/invocation/tail/proof.f.mjs
  • ./fjs/js/ast/loop/invariant/proof.f.mjs
  • ./fjs/js/ast/loop/plain/proof.f.mjs
  • ./fjs/js/ast/loop/proof.f.mjs
  • ./fjs/js/ast/loop/terminal/proof.f.mjs
  • ./fjs/js/ast/memo/cells/proof.f.mjs
  • ./fjs/js/ast/memo/proof.f.mjs
  • ./fjs/js/ast/memo/self_alias_loops.proof.f.mjs
  • ./fjs/js/ast/memo/tail.proof.f.mjs
  • ./fjs/js/ast/prepare/joins/proof.f.mjs
  • ./fjs/js/ast/prepare/one_pass/proof.f.mjs
  • ./fjs/js/ast/prepare/proof.f.mjs
  • ./fjs/js/ast/prepare/source_results.proof.f.mjs
  • ./fjs/js/ast/prepare/terminal_loops.proof.f.mjs
  • ./fjs/js/ast/proof.f.mjs
  • ./fjs/js/ast/results/proof.f.mjs
  • ./fjs/js/ast/returns/integration/proof.f.mjs
  • ./fjs/js/ast/returns/proof.f.mjs
  • ./fjs/js/ast/serializer/intrinsic/proof.f.mjs
  • ./fjs/js/ast/serializer/member_present/proof.f.mjs
  • ./fjs/js/ast/serializer/primitive_captures.proof.f.mjs
  • ./fjs/js/ast/serializer/proof.f.mjs
  • ./fjs/js/ast/sugar/compound_blocks.proof.f.mjs
  • ./fjs/js/ast/sugar/effects/proof.f.mjs
  • ./fjs/js/ast/sugar/invocation_assignments.proof.f.mjs
  • ./fjs/js/ast/sugar/logical/proof.f.mjs
  • ./fjs/js/ast/sugar/pattern/proof.f.mjs
  • ./fjs/js/ast/sugar/proof.f.mjs
  • ./fjs/js/ast/task/proof.f.mjs
  • ./fjs/js/identifier/proof.f.mjs
  • ./fjs/js/intrinsic/proof.f.mjs
  • ./fjs/js/keywords/proof.f.mjs
  • ./fjs/js/marked/proof.f.mjs
  • ./fjs/js/members/proof.f.mjs
  • ./fjs/js/prototype/proof.f.mjs
  • ./fjs/js/runtime/proof.f.mjs
  • ./fjs/js/static/proof.f.mjs
  • ./fjs/js/string_escape/proof.f.mjs
  • ./fjs/js/tokenizer/proof.f.mjs
  • ./fjs/mcp/cas/proof.f.mjs
  • ./fjs/mcp/evo/proof.f.mjs
  • ./fjs/mcp/module.f.mjs
  • ./fjs/mcp/proof.f.mjs
  • ./fjs/media/datajs/parser/proof.f.mjs
  • ./fjs/media/datajs/proof.f.mjs
  • ./fjs/media/datajs/serializer/proof.f.mjs
  • ./fjs/media/datajs/vectors/matrix/proof.f.mjs
  • ./fjs/media/datajs/vectors/proof.f.mjs
  • ./fjs/media/html/proof.f.mjs
  • ./fjs/media/json/extended/proof.f.mjs
  • ./fjs/media/json/number/proof.f.mjs
  • ./fjs/media/json/parser/proof.f.mjs
  • ./fjs/media/json/proof.f.mjs
  • ./fjs/media/json/rtti/proof.f.mjs
  • ./fjs/media/json/schema/proof.f.mjs
  • ./fjs/media/json/serializer/proof.f.mjs
  • ./fjs/media/lock/proof.f.mjs
  • ./fjs/media/markdown/demo.f.mjs
  • ./fjs/media/markdown/proof.f.mjs
  • ./fjs/media/mermaid/proof.f.mjs
  • ./fjs/media/nix/proof.f.mjs
  • ./fjs/media/note/proof.f.mjs
  • ./fjs/media/proof.f.mjs
  • ./fjs/media/revision/proof.f.mjs
  • ./fjs/media/rust/item/proof.f.mjs
  • ./fjs/media/rust/proof.f.mjs
  • ./fjs/media/type/proof.f.mjs
  • ./fjs/media/wasm/binary/parse/proof.f.mjs
  • ./fjs/media/wasm/binary/write/proof.f.mjs
  • ./fjs/media/wasm/instruction/proof.f.mjs
  • ./fjs/media/wasm/wat/proof.f.mjs
  • ./fjs/nanvm/commands/proof.f.mjs
  • ./fjs/nanvm/constructors/proof.f.mjs
  • ./fjs/nanvm/corpus/proof.f.mjs
  • ./fjs/nanvm/demos/collatz/proof.f.mjs
  • ./fjs/nanvm/demos/function-page/proof.f.mjs
  • ./fjs/nanvm/demos/hello/proof.f.mjs
  • ./fjs/nanvm/demos/page/proof.f.mjs
  • ./fjs/nanvm/demos/proof.f.mjs
  • ./fjs/nanvm/demos/publish/proof.f.mjs
  • ./fjs/nanvm/demos/samples/proof.f.mjs
  • ./fjs/nanvm/demos/sort/proof.f.mjs
  • ./fjs/nanvm/demos/spell/proof.f.mjs
  • ./fjs/nanvm/expected/proof.f.mjs
  • ./fjs/nanvm/fast/deferred_owning_tail_calls/proof.f.mjs
  • ./fjs/nanvm/fast/immutable_joins/proof.f.mjs
  • ./fjs/nanvm/fast/independent_tail_recipes/proof.f.mjs
  • ./fjs/nanvm/fast/mixed_self_uses/proof.f.mjs
  • ./fjs/nanvm/harness/proof.f.mjs
  • ./fjs/nanvm/member/proof.f.mjs
  • ./fjs/nanvm/methods/proof.f.mjs
  • ./fjs/nanvm/proof.f.mjs
  • ./fjs/nanvm/runtime/proof.f.mjs
  • ./fjs/nanvm/rust/proof.f.mjs
  • ./fjs/nanvm/update/proof.f.mjs
  • ./fjs/nanvm/values/proof.f.mjs
  • ./fjs/path/import/proof.f.mjs
  • ./fjs/path/proof.f.mjs
  • ./fjs/proof.f.mjs
  • ./fjs/protocol/json_rpc/proof.f.mjs
  • ./fjs/protocol/mcp/proof.f.mjs
  • ./fjs/protocol/mcp/stdio/proof.f.mjs
  • ./fjs/rtti/common/proof.f.mjs
  • ./fjs/rtti/data/proof.f.mjs
  • ./fjs/rtti/guide/in-the-project/effects/proof.f.mjs
  • ./fjs/rtti/guide/in-the-project/expression-graph/proof.f.mjs
  • ./fjs/rtti/guide/in-the-project/media/proof.f.mjs
  • ./fjs/rtti/guide/in-the-project/proof.f.mjs
  • ./fjs/rtti/guide/in-the-project/protocols/proof.f.mjs
  • ./fjs/rtti/guide/in-the-project/tooling/proof.f.mjs
  • ./fjs/rtti/guide/outputs/data-form/proof.f.mjs
  • ./fjs/rtti/guide/outputs/json-schema/proof.f.mjs
  • ./fjs/rtti/guide/outputs/proof.f.mjs
  • ./fjs/rtti/guide/outputs/typescript/proof.f.mjs
  • ./fjs/rtti/guide/readers/errors/proof.f.mjs
  • ./fjs/rtti/guide/readers/parse-and-validate/proof.f.mjs
  • ./fjs/rtti/guide/readers/proof.f.mjs
  • ./fjs/rtti/guide/schemas/arrays-and-records/proof.f.mjs
  • ./fjs/rtti/guide/schemas/closed-containers/proof.f.mjs
  • ./fjs/rtti/guide/schemas/constants/proof.f.mjs
  • ./fjs/rtti/guide/schemas/open-containers/proof.f.mjs
  • ./fjs/rtti/guide/schemas/option/proof.f.mjs
  • ./fjs/rtti/guide/schemas/primitives/proof.f.mjs
  • ./fjs/rtti/guide/schemas/proof.f.mjs
  • ./fjs/rtti/guide/schemas/recursion/proof.f.mjs
  • ./fjs/rtti/guide/schemas/unions/proof.f.mjs
  • ./fjs/rtti/parse/proof.f.mjs
  • ./fjs/rtti/proof.f.mjs
  • ./fjs/rtti/schema-demo/proof.f.mjs
  • ./fjs/rtti/ts/proof.f.mjs
  • ./fjs/rtti/validate/proof.f.mjs
  • ./fjs/rust/demangle/proof.f.mjs
  • ./fjs/rust/serializer/proof.f.mjs
  • ./fjs/sul/id/proof.f.mjs
  • ./fjs/sul/level/hash/proof.f.mjs
  • ./fjs/sul/level/literal/proof.f.mjs
  • ./fjs/sul/proof.f.mjs
  • ./fjs/text/ascii/proof.f.mjs
  • ./fjs/text/code_point/proof.f.mjs
  • ./fjs/text/marked/proof.f.mjs
  • ./fjs/text/percent/proof.f.mjs
  • ./fjs/text/proof.f.mjs
  • ./fjs/text/sgr/proof.f.mjs
  • ./fjs/text/shell/proof.f.mjs
  • ./fjs/text/utf16/proof.f.mjs
  • ./fjs/text/utf8/proof.f.mjs
  • ./fjs/types/array/generate/proof.f.mjs
  • ./fjs/types/array/proof.f.mjs
  • ./fjs/types/array/repeat/proof.f.mjs
  • ./fjs/types/bigfloat/module.f.mjs
  • ./fjs/types/bigfloat/proof.f.mjs
  • ./fjs/types/bigint/demo.f.mjs
  • ./fjs/types/bigint/from_number/proof.f.mjs
  • ./fjs/types/bigint/proof.f.mjs
  • ./fjs/types/bit_set/proof.f.mjs
  • ./fjs/types/bit_vec/proof.f.mjs
  • ./fjs/types/btree/find/proof.f.mjs
  • ./fjs/types/btree/proof.f.mjs
  • ./fjs/types/btree/remove/module.f.js
  • ./fjs/types/btree/remove/proof.f.mjs
  • ./fjs/types/btree/set/proof.f.mjs
  • ./fjs/types/btree/types/proof.f.mjs
  • ./fjs/types/byte_set/proof.f.mjs
  • ./fjs/types/function/compare/proof.f.mjs
  • ./fjs/types/function/length/proof.f.mjs
  • ./fjs/types/function/operator/proof.f.mjs
  • ./fjs/types/function/proof.f.mjs
  • ./fjs/types/list/alt/proof.f.mjs
  • ./fjs/types/list/iterable/proof.f.mjs
  • ./fjs/types/list/proof.f.mjs
  • ./fjs/types/map/proof.f.mjs
  • ./fjs/types/nibble_set/proof.f.mjs
  • ./fjs/types/nominal/proof.f.mjs
  • ./fjs/types/nullable/proof.f.mjs
  • ./fjs/types/number/abs/proof.f.mjs
  • ./fjs/types/number/ceil/proof.f.mjs
  • ./fjs/types/number/is_negative_zero/proof.f.mjs
  • ./fjs/types/number/max/proof.f.mjs
  • ./fjs/types/number/min/proof.f.mjs
  • ./fjs/types/number/proof.f.mjs
  • ./fjs/types/object/entry/proof.f.mjs
  • ./fjs/types/object/proof.f.mjs
  • ./fjs/types/object/structurally_same/proof.f.mjs
  • ./fjs/types/ordered_map/proof.f.mjs
  • ./fjs/types/patricia_trie/proof.f.mjs
  • ./fjs/types/prime_field/proof.f.mjs
  • ./fjs/types/range/proof.f.mjs
  • ./fjs/types/range_map/proof.f.mjs
  • ./fjs/types/range_set/proof.f.mjs
  • ./fjs/types/result/proof.f.mjs
  • ./fjs/types/set/proof.f.mjs
  • ./fjs/types/sorted_list/proof.f.mjs
  • ./fjs/types/sorted_set/proof.f.mjs
  • ./fjs/types/stack_walk/proof.f.mjs
  • ./fjs/types/string/proof.f.mjs
  • ./fjs/types/string_set/proof.f.mjs
  • ./fjs/types/ts/proof.f.mjs
  • ./fjs/types/uint8array/proof.f.mjs
  • ./fjs/types/version/proof.f.mjs
  • ./fjs/web/proof.f.mjs
  • ./fjs/website/browser-source/proof.f.mjs
  • ./fjs/website/browser.mjs
  • ./fjs/website/card/proof.f.mjs
  • ./fjs/website/cargo-doc/proof.f.mjs
  • ./fjs/website/changelog/proof.f.mjs
  • ./fjs/website/cli/proof.f.mjs
  • ./fjs/website/cli/search/proof.f.mjs
  • ./fjs/website/cloudflare/proof.f.mjs
  • ./fjs/website/demo/bits/proof.f.mjs
  • ./fjs/website/demo/code/proof.f.mjs
  • ./fjs/website/demo/control_ids/proof.f.mjs
  • ./fjs/website/demo/controls/proof.f.mjs
  • ./fjs/website/demo/examples/proof.f.mjs
  • ./fjs/website/demo/graph/proof.f.mjs
  • ./fjs/website/demo/hash/proof.f.mjs
  • ./fjs/website/demo/highlight/proof.f.mjs
  • ./fjs/website/demo/mirror/proof.f.mjs
  • ./fjs/website/demo/proof.f.mjs
  • ./fjs/website/demo/railroad/proof.f.mjs
  • ./fjs/website/demo/secp/proof.f.mjs
  • ./fjs/website/demo/sharing/proof.f.mjs
  • ./fjs/website/demo/versions/proof.f.mjs
  • ./fjs/website/funding/proof.f.mjs
  • ./fjs/website/github/proof.f.mjs
  • ./fjs/website/issue/proof.f.mjs
  • ./fjs/website/mermaid/proof.f.mjs
  • ./fjs/website/origin/proof.f.mjs
  • ./fjs/website/page/proof.f.mjs
  • ./fjs/website/permalink/proof.f.mjs
  • ./fjs/website/playground/btree/proof.f.mjs
  • ./fjs/website/proof.f.mjs
  • ./fjs/website/prs/load/proof.f.mjs
  • ./fjs/website/prs/proof.f.mjs
  • ./fjs/website/readme/proof.f.mjs
  • ./fjs/website/rustdoc-bars/proof.f.mjs
  • ./fjs/zlib/adler32/proof.f.mjs
  • ./fjs/zlib/bits/proof.f.mjs
  • ./fjs/zlib/huffman/proof.f.mjs
  • ./fjs/zlib/inflate/proof.f.mjs
  • ./fjs/zlib/stored/proof.f.mjs
  • ./fjs/zlib/window/proof.f.mjs
  • ./spec/bindings/constants/proof.f.mjs
  • ./spec/bindings/destructuring/proof.f.mjs
  • ./spec/bindings/globals/proof.f.mjs
  • ./spec/bindings/intrinsic-names/proof.f.mjs
  • ./spec/bindings/literal-words/proof.f.mjs
  • ./spec/bindings/proof.f.mjs
  • ./spec/bindings/var/proof.f.mjs
  • ./spec/bindings/variables/proof.f.mjs
  • ./spec/built-ins/eval/proof.f.mjs
  • ./spec/built-ins/member-functions/proof.f.mjs
  • ./spec/built-ins/proof.f.mjs
  • ./spec/built-ins/static-functions/guarded/proof.f.mjs
  • ./spec/built-ins/static-functions/proof.f.mjs
  • ./spec/control-flow/guards/proof.f.mjs
  • ./spec/control-flow/loops/proof.f.mjs
  • ./spec/control-flow/proof.f.mjs
  • ./spec/control-flow/switch/default-position/proof.f.mjs
  • ./spec/control-flow/switch/proof.f.mjs
  • ./spec/conversions/guarded/proof.f.mjs
  • ./spec/conversions/number/proof.f.mjs
  • ./spec/conversions/operands/proof.f.mjs
  • ./spec/conversions/proof.f.mjs
  • ./spec/conversions/string/proof.f.mjs
  • ./spec/datajs/vectors/accept/proof.f.mjs
  • ./spec/datajs/vectors/graph-equivalence/proof.f.mjs
  • ./spec/datajs/vectors/normalize/proof.f.mjs
  • ./spec/datajs/vectors/not-applicable/proof.f.mjs
  • ./spec/datajs/vectors/reject/proof.f.mjs
  • ./spec/datajs/vectors/serializer-accept/proof.f.mjs
  • ./spec/functions/body-end/proof.f.mjs
  • ./spec/functions/call-statements/expression-statements/proof.f.mjs
  • ./spec/functions/call-statements/proof.f.mjs
  • ./spec/functions/calls/proof.f.mjs
  • ./spec/functions/captures/proof.f.mjs
  • ./spec/functions/function-outputs/proof.f.mjs
  • ./spec/functions/names-and-identity/proof.f.mjs
  • ./spec/functions/parameters/limit/proof.f.mjs
  • ./spec/functions/parameters/proof.f.mjs
  • ./spec/functions/proof.f.mjs
  • ./spec/functions/unreachable/proof.f.mjs
  • ./spec/lexical/comments/proof.f.mjs
  • ./spec/lexical/identifiers/proof.f.mjs
  • ./spec/lexical/proof.f.mjs
  • ./spec/lexical/string-escapes/proof.f.mjs
  • ./spec/lexical/whitespace/proof.f.mjs
  • ./spec/modules/empty-pattern-export/proof.f.mjs
  • ./spec/modules/empty-statements/proof.f.mjs
  • ./spec/modules/export-after-default/proof.f.mjs
  • ./spec/modules/export-let/proof.f.mjs
  • ./spec/modules/exports/proof.f.mjs
  • ./spec/modules/exports/then/proof.f.mjs
  • ./spec/modules/import-after-export/proof.f.mjs
  • ./spec/modules/no-export/proof.f.mjs
  • ./spec/modules/proof.f.mjs
  • ./spec/modules/throw-position/proof.f.mjs
  • ./spec/operators/comma/proof.f.mjs
  • ./spec/operators/grouping/proof.f.mjs
  • ./spec/operators/in/computed-key/proof.f.mjs
  • ./spec/operators/in/proof.f.mjs
  • ./spec/operators/instanceof/other-classes/proof.f.mjs
  • ./spec/operators/instanceof/proof.f.mjs
  • ./spec/operators/loose-equality/proof.f.mjs
  • ./spec/operators/proof.f.mjs
  • ./spec/operators/this/proof.f.mjs
  • ./spec/principles/proof.f.mjs
  • ./spec/property-access/entries/proof.f.mjs
  • ./spec/property-access/optional-chaining/proof.f.mjs
  • ./spec/property-access/proof.f.mjs
  • ./spec/property-access/prototype-calls/proof.f.mjs
  • ./spec/property-access/prototype-names/proof.f.mjs
  • ./spec/property-access/runtime-keys/proof.f.mjs
  • ./spec/undecided/proof.f.mjs
  • ./spec/values/arrays/holes/proof.f.mjs
  • ./spec/values/arrays/proof.f.mjs
  • ./spec/values/bigints/proof.f.mjs
  • ./spec/values/numbers/proof.f.mjs
  • ./spec/values/objects/proof.f.mjs
  • ./spec/values/objects/proto-key/proof.f.mjs
  • ./spec/values/proof.f.mjs
  • ./spec/values/strings/apostrophe-escape/proof.f.mjs
  • ./spec/values/strings/proof.f.mjs
  • ./spec/values/template-literals/proof.f.mjs
  • ./todo/proof.f.mjs