fix

docs/.gitignore

@@ -1 +1,2 @@
 proof/
+!proof/main.tex

examples/raw.meow

@@ -0,0 +1,38 @@
+enraw(s) {
+    "1" = "01";
+    "0" = "00";
+    s
+}
+
+encode(s) {
+    var rep = enraw(s);
+    "11"+ rep +"11"
+}
+
+decode(s) {
+    var rep = {
+        "11" = "";
+        s
+    };
+    "00" = "0";
+    "01" = "1";
+    rep
+}
+
+tail(x) {
+    var pre = {
+        "1101" = "";
+        "1100" = "";
+        "1111" = "11";
+        encode(x)
+    };
+    decode("11" + pre)
+}
+
+head(x) {
+    var r = {
+        enraw(tail(x))+"11" = "11";
+        encode(x)
+    };
+    decode(r)
+}

src/main.rs

@@ -74,7 +74,7 @@ fn repl(context: &mut Box<prog::Context>) {
                 context.clean();
             } else if cmd == &"load" {
                 let path = cmds.get(1).unwrap();
-                let res = read_file(path);
+                let res = read_file(format!("examples/{}.meow", path).as_str());
                 prog::eval_prog(&res, context);
                 println!("loaded {}", path);
             } else {