Skip to content

Commit

Permalink
cleanup imports
Browse files Browse the repository at this point in the history
  • Loading branch information
joewatt95 committed Nov 27, 2023
1 parent 4a8c240 commit 73b7ae1
Showing 1 changed file with 6 additions and 10 deletions.
16 changes: 6 additions & 10 deletions public/index.js
Original file line number Diff line number Diff line change
@@ -1,13 +1,9 @@
import {
query_le,
query_le_js,
re_init_le_swipl,
query_le_wasm,
query_le_wasm_js,
render_le_resp_with_guifier,
clj_to_js,
js_to_clj
} from "./js/main.js";
query_le_js,
re_init_le_swipl,
query_le_wasm_js,
render_le_resp_with_guifier
} from "./js/main.js";

const program = await fetch("program.le").then(x => x.text());
const data = await fetch("data.json").then(x => x.json());
Expand All @@ -21,7 +17,7 @@ const resp = await query_le_js(server_url, program, data, query);

// Query alternative wasm backend.
// await re_init_le_swipl("le.qlf");
// const resp = await query_le_wasm(program, data, query);
// const resp = await query_le_wasm_js(program, data, query);

console.log("LE explanation tree: ", resp);

Expand Down

0 comments on commit 73b7ae1

Please sign in to comment.