codedot
diff --git a/‎samples/helper.txt‎ ‎helper.txt‎samples/helper.txt renamed to helper.txt b/‎samples/helper.txt‎ ‎helper.txt‎samples/helper.txt renamed to helper.txt
diff --git a/‎index.js‎
Lines changed: 0 additions & 3 deletions b/‎index.js‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎lambda.js‎
Lines changed: 5 additions & 1 deletion b/‎lambda.js‎
Lines changed: 5 additions & 1 deletion
diff --git a/‎samples/index.js‎
Lines changed: 0 additions & 12 deletions b/‎samples/index.js‎
Lines changed: 0 additions & 12 deletions
@@ -2,7 +2,6 @@
 
 const encoding = require("./encoding");
 const compile = require("./compile");
-const samples = require("./samples");
 const inet = require("inet-lib");
 
 const parser = new compile.Parser();
@@ -115,7 +114,5 @@ run.debug = debug;
 run.debug0 = debug0;
 run.debug1 = debug1;
 run.mlc2in = mlc2in;
-run.example = samples.fact.replace(/\n*$/, "");
-run.samples = samples;
 
 module.exports = run;
@@ -5,6 +5,10 @@
 const lambda = require(".");
 const yargs = require("yargs");
 const fs = require("fs");
+const path = require("path");
+
+const helper = path.join(__dirname, "helper.txt");
+const comb = fs.readFileSync(helper, "utf8");
 
 const opts = {
 	algo: {
@@ -61,7 +65,7 @@ let input = argv._[0];
 if (!argv.expr)
 	input = fs.readFileSync(input, "utf8");
 
-input = lambda.samples.helper.concat(input);
+input = comb.concat(input);
 
 if (argv.debug) {
 	let eqn;