Skip to content

chore(idris2): add SPDX headers to idris2/src/*.idr (#134) #88

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 2 commits into from
May 20, 2026
Merged

chore(idris2): add SPDX headers to idris2/src/*.idr (#134) #88

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
20d4216
chore(idris2): add estate-standard SPDX headers to idris2/src/*.idr (…
hyperpolymath May 20, 2026
f82fdf4
Merge branch 'main' into proof-debt/standards-134-spdx-headers
hyperpolymath May 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Affine/Emit.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Affine.Emit

import Ephapax.IR.Decode
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Affine/Typecheck.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Affine.Typecheck

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/IR/AST.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.IR.AST

%default total
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/IR/Decode.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.IR.Decode

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/IR/SExpr.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.IR.SExpr

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/Lexer.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.Lexer

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/Parser.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.Parser

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/Stream.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.Stream

import Ephapax.Parse.Lexer
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/TestMain.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.TestMain

import Ephapax.Parse.Tests
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/Tests.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.Tests

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/Util.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.Util

import Data.List
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Parse/ZigBuffer.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Parse.ZigBuffer

import System
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Ephapax/Proven.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Ephapax.Proven

import Proven.SafeString.Escape
Expand Down
3 changes: 3 additions & 0 deletions idris2/src/Main.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
--
module Main

import System
Expand Down
Loading