├── .gitignore ├── LICENSE ├── README.md ├── default.nix ├── node-env.nix ├── node-packages.json ├── node-packages.nix ├── package.json └── src ├── exports.js ├── fm-core.js ├── fm-lang.js ├── fm-net.js ├── fm-to-js.js ├── fm-to-net.js ├── main.js └── theory ├── EA-Core ├── LICENSE ├── ea-core.js ├── ea-to-net.js ├── index.js ├── main.eac ├── main.js ├── package-lock.json └── package.json ├── EA-Net ├── ea-net.js └── package.json ├── EA-TT ├── ea-tt.js ├── index.js ├── main.eatt ├── main.js └── package.json └── README.md /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | node_modules/ 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/README.md -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/default.nix -------------------------------------------------------------------------------- /node-env.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/node-env.nix -------------------------------------------------------------------------------- /node-packages.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/node-packages.json -------------------------------------------------------------------------------- /node-packages.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/node-packages.nix -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/package.json -------------------------------------------------------------------------------- /src/exports.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/exports.js -------------------------------------------------------------------------------- /src/fm-core.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/fm-core.js -------------------------------------------------------------------------------- /src/fm-lang.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/fm-lang.js -------------------------------------------------------------------------------- /src/fm-net.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/fm-net.js -------------------------------------------------------------------------------- /src/fm-to-js.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/fm-to-js.js -------------------------------------------------------------------------------- /src/fm-to-net.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/fm-to-net.js -------------------------------------------------------------------------------- /src/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/main.js -------------------------------------------------------------------------------- /src/theory/EA-Core/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/LICENSE -------------------------------------------------------------------------------- /src/theory/EA-Core/ea-core.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/ea-core.js -------------------------------------------------------------------------------- /src/theory/EA-Core/ea-to-net.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/ea-to-net.js -------------------------------------------------------------------------------- /src/theory/EA-Core/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/index.js -------------------------------------------------------------------------------- /src/theory/EA-Core/main.eac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/main.eac -------------------------------------------------------------------------------- /src/theory/EA-Core/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/main.js -------------------------------------------------------------------------------- /src/theory/EA-Core/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/package-lock.json -------------------------------------------------------------------------------- /src/theory/EA-Core/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Core/package.json -------------------------------------------------------------------------------- /src/theory/EA-Net/ea-net.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Net/ea-net.js -------------------------------------------------------------------------------- /src/theory/EA-Net/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-Net/package.json -------------------------------------------------------------------------------- /src/theory/EA-TT/ea-tt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-TT/ea-tt.js -------------------------------------------------------------------------------- /src/theory/EA-TT/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-TT/index.js -------------------------------------------------------------------------------- /src/theory/EA-TT/main.eatt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-TT/main.eatt -------------------------------------------------------------------------------- /src/theory/EA-TT/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-TT/main.js -------------------------------------------------------------------------------- /src/theory/EA-TT/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/EA-TT/package.json -------------------------------------------------------------------------------- /src/theory/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonad-archive/Formality-JavaScript/HEAD/src/theory/README.md --------------------------------------------------------------------------------