Command line arguments

src/main.cpp

@@ -2194,6 +2194,16 @@ int main(int argc, char** argv) {
         cout << "Usage: " << argv[0] << " (file)" << endl;
         exit(0);
     }
+
+    // Get args
+    List argsList;
+    for (int i = 2; i < argc; i++) {
+        Literal lit;
+        lit.val = argv[i];
+        argsList.val.push_back(lit);
+    }
+    lists["args"] = argsList;
+    
     ifstream file(argv[1]);
     string lns;
     string in;