File tree Expand file tree Collapse file tree 14 files changed +14
-14
lines changed
Expand file tree Collapse file tree 14 files changed +14
-14
lines changed Original file line number Diff line number Diff line change 1- // SPDX-License-Identifier: AGPL-3 .0-or-later
1+ // SPDX-License-Identifier: PMPL-1 .0-or-later
22//! Build configuration for formatrix Zig bindings
33//!
44//! Links against libformatrix_core from the Rust crate.
Original file line number Diff line number Diff line change 1- // SPDX-License-Identifier: AGPL-3 .0-or-later
1+ // SPDX-License-Identifier: PMPL-1 .0-or-later
22//! Example usage of formatrix Zig bindings
33
44const std = @import ("std" );
Original file line number Diff line number Diff line change 1- // SPDX-License-Identifier: AGPL-3 .0-or-later
1+ // SPDX-License-Identifier: PMPL-1 .0-or-later
22//! Zig bindings for formatrix-core
33//!
44//! Provides a type-safe Zig interface to the Formatrix document library.
Original file line number Diff line number Diff line change 1- // SPDX-License-Identifier: AGPL-3 .0-or-later
1+ // SPDX-License-Identifier: PMPL-1 .0-or-later
22// Example: Using SafeDOM for formally verified DOM mounting
33
44open SafeDOM
Original file line number Diff line number Diff line change 11// {{PROJECT}} FFI Build Configuration
2- // SPDX-License-Identifier: AGPL-3 .0-or-later
2+ // SPDX-License-Identifier: PMPL-1 .0-or-later
33
44const std = @import ("std" );
55
Original file line number Diff line number Diff line change 33// This module implements the C-compatible FFI declared in src/abi/Foreign.idr
44// All types and layouts must match the Idris2 ABI definitions.
55//
6- // SPDX-License-Identifier: AGPL-3 .0-or-later
6+ // SPDX-License-Identifier: PMPL-1 .0-or-later
77
88const std = @import ("std" );
99
Original file line number Diff line number Diff line change 11// {{PROJECT}} Integration Tests
2- // SPDX-License-Identifier: AGPL-3 .0-or-later
2+ // SPDX-License-Identifier: PMPL-1 .0-or-later
33//
44// These tests verify that the Zig FFI correctly implements the Idris2 ABI
55
Original file line number Diff line number Diff line change 1- # SPDX-License-Identifier: AGPL-3 .0-or-later
1+ # SPDX-License-Identifier: PMPL-1 .0-or-later
22# Formatrix Docs - Nix Flake (Fallback for non-Guix systems)
33# Copyright (C) 2025 Jonathan D.A. Jewell
44{
Original file line number Diff line number Diff line change 11<!DOCTYPE html>
2- <!-- SPDX-License-Identifier: AGPL-3 .0-or-later -->
2+ <!-- SPDX-License-Identifier: PMPL-1 .0-or-later -->
33< html lang ="en ">
44< head >
55 < meta charset ="UTF-8 ">
Original file line number Diff line number Diff line change 1- // SPDX-License-Identifier: AGPL-3 .0-or-later
1+ // SPDX-License-Identifier: PMPL-1 .0-or-later
22// Formatrix Docs - Main application
33
44%%raw (` import " ../styles/main.css" ` )
You can’t perform that action at this time.
0 commit comments