js-slang/dist/repl/index.js

Javascript-based implementations of Source, written in Typescript

#!/usr/bin/env node
"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
const extra_typings_1 = require("@commander-js/extra-typings");
const repl_1 = require("./repl");
const repl_non_det_1 = require("./repl-non-det");
const transpiler_1 = require("./transpiler");
new extra_typings_1.Command()
    .addCommand(transpiler_1.transpilerCommand)
    .addCommand((0, repl_1.getReplCommand)(), { isDefault: true })
    .addCommand(repl_non_det_1.nonDetCommand)
    .parseAsync();
//# sourceMappingURL=index.js.map