diff --git a/idris2/src/Ephapax/Affine/Emit.idr b/idris2/src/Ephapax/Affine/Emit.idr index 95da4d60..390cb997 100644 --- a/idris2/src/Ephapax/Affine/Emit.idr +++ b/idris2/src/Ephapax/Affine/Emit.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Affine.Emit import Ephapax.IR.Decode diff --git a/idris2/src/Ephapax/Affine/Typecheck.idr b/idris2/src/Ephapax/Affine/Typecheck.idr index 9f4ef322..da8622f8 100644 --- a/idris2/src/Ephapax/Affine/Typecheck.idr +++ b/idris2/src/Ephapax/Affine/Typecheck.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Affine.Typecheck import Data.List diff --git a/idris2/src/Ephapax/IR/AST.idr b/idris2/src/Ephapax/IR/AST.idr index 211640df..d2d89880 100644 --- a/idris2/src/Ephapax/IR/AST.idr +++ b/idris2/src/Ephapax/IR/AST.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.IR.AST %default total diff --git a/idris2/src/Ephapax/IR/Decode.idr b/idris2/src/Ephapax/IR/Decode.idr index fb89a032..99580e3d 100644 --- a/idris2/src/Ephapax/IR/Decode.idr +++ b/idris2/src/Ephapax/IR/Decode.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.IR.Decode import Data.List diff --git a/idris2/src/Ephapax/IR/SExpr.idr b/idris2/src/Ephapax/IR/SExpr.idr index 656cfb5b..701d1694 100644 --- a/idris2/src/Ephapax/IR/SExpr.idr +++ b/idris2/src/Ephapax/IR/SExpr.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.IR.SExpr import Data.List diff --git a/idris2/src/Ephapax/Parse/Lexer.idr b/idris2/src/Ephapax/Parse/Lexer.idr index 11b0a2b6..dd88c447 100644 --- a/idris2/src/Ephapax/Parse/Lexer.idr +++ b/idris2/src/Ephapax/Parse/Lexer.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.Lexer import Data.List diff --git a/idris2/src/Ephapax/Parse/Parser.idr b/idris2/src/Ephapax/Parse/Parser.idr index a2c709c1..1d3137f3 100644 --- a/idris2/src/Ephapax/Parse/Parser.idr +++ b/idris2/src/Ephapax/Parse/Parser.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.Parser import Data.List diff --git a/idris2/src/Ephapax/Parse/Stream.idr b/idris2/src/Ephapax/Parse/Stream.idr index 702c7c21..e6fe9a92 100644 --- a/idris2/src/Ephapax/Parse/Stream.idr +++ b/idris2/src/Ephapax/Parse/Stream.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.Stream import Ephapax.Parse.Lexer diff --git a/idris2/src/Ephapax/Parse/TestMain.idr b/idris2/src/Ephapax/Parse/TestMain.idr index 87dad2d3..bef7192d 100644 --- a/idris2/src/Ephapax/Parse/TestMain.idr +++ b/idris2/src/Ephapax/Parse/TestMain.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.TestMain import Ephapax.Parse.Tests diff --git a/idris2/src/Ephapax/Parse/Tests.idr b/idris2/src/Ephapax/Parse/Tests.idr index 02086fa2..01d5c822 100644 --- a/idris2/src/Ephapax/Parse/Tests.idr +++ b/idris2/src/Ephapax/Parse/Tests.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.Tests import Data.List diff --git a/idris2/src/Ephapax/Parse/Util.idr b/idris2/src/Ephapax/Parse/Util.idr index 787a2e76..a0449ec4 100644 --- a/idris2/src/Ephapax/Parse/Util.idr +++ b/idris2/src/Ephapax/Parse/Util.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.Util import Data.List diff --git a/idris2/src/Ephapax/Parse/ZigBuffer.idr b/idris2/src/Ephapax/Parse/ZigBuffer.idr index ef09d4a6..2386549b 100644 --- a/idris2/src/Ephapax/Parse/ZigBuffer.idr +++ b/idris2/src/Ephapax/Parse/ZigBuffer.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Parse.ZigBuffer import System diff --git a/idris2/src/Ephapax/Proven.idr b/idris2/src/Ephapax/Proven.idr index 5800b651..ca099184 100644 --- a/idris2/src/Ephapax/Proven.idr +++ b/idris2/src/Ephapax/Proven.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Ephapax.Proven import Proven.SafeString.Escape diff --git a/idris2/src/Main.idr b/idris2/src/Main.idr index 2063ba68..2f1c1d4f 100644 --- a/idris2/src/Main.idr +++ b/idris2/src/Main.idr @@ -1,3 +1,6 @@ +-- SPDX-License-Identifier: PMPL-1.0-or-later +-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) +-- module Main import System