Skip to content

Commit d74156e

Browse files
committed
chore: add SPDX headers to source files
1 parent 179b748 commit d74156e

16 files changed

Lines changed: 16 additions & 0 deletions

src/abi/Foreign.idr

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
-- SPDX-License-Identifier: PMPL-1.0-or-later
12
||| Foreign Function Interface Declarations
23
|||
34
||| This module declares all C-compatible functions that will be

src/abi/Layout.idr

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
-- SPDX-License-Identifier: PMPL-1.0-or-later
12
||| Memory Layout Proofs
23
|||
34
||| This module provides formal proofs about memory layout, alignment,

src/abi/Types.idr

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
-- SPDX-License-Identifier: PMPL-1.0-or-later
12
||| ABI Type Definitions Template
23
|||
34
||| This module defines the Application Binary Interface (ABI) for this library.

src/analysis.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
12
/**
23
* Advanced analysis features for UbiCity
34
* Beyond basic mapping - temporal patterns, collaborative networks, recommendations

src/capture.js

100755100644
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
#!/usr/bin/env node
2+
// SPDX-License-Identifier: PMPL-1.0-or-later
23

34
/**
45
* UbiCity Learning Experience Capture Tool (ESM + Async)

src/cli.js

100755100644
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
#!/usr/bin/env node
2+
// SPDX-License-Identifier: PMPL-1.0-or-later
23

34
/**
45
* UbiCity CLI - Main entry point

src/export.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
12
/**
23
* Export utilities for UbiCity data
34
* Supports CSV, JSON, and other formats

src/import.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
12
/**
23
* Batch import utilities for UbiCity
34
* Import from CSV, JSON, and other formats

src/index.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
12
/**
23
* UbiCity - Main module exports
34
* Convenient entry point for all UbiCity functionality

src/mapper.js

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
12
/**
23
* UbiCity Urban Knowledge Mapper (ESM + Async + Validated)
34
*

0 commit comments

Comments
 (0)