Fix copyright headers

andrewmwells-amazon · andrewmwells-amazon · commit b0d4488b718c · 2025-10-07T15:25:39.000-05:00
diff --git a/StrataTypeScriptASTLoader.lean b/StrataTypeScriptASTLoader.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.Languages.TypeScript.js_ast
 
 -- Simple AST loader that tests if TypeScript AST JSON can be loaded into Lean structures
diff --git a/runners/lean/StrataPythonRunner.lean b/runners/lean/StrataPythonRunner.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.Languages.Python.python_ast
 import Strata.Languages.Python.PythonStrataEval
 
diff --git a/runners/lean/StrataTypeScriptRunner.lean b/runners/lean/StrataTypeScriptRunner.lean
@@ -1,3 +1,9 @@
+/-
+  Copyright Strata Contributors
+
+  SPDX-License-Identifier: Apache-2.0 OR MIT
+-/
+
 import Strata.Languages.TypeScript.js_ast
 import Strata.Languages.TypeScript.TSStrataEval
 
