chore(spdx): add Copyright (c) headers to Idris2 files (batch 5/7)#100

hyperpolymath merged 1 commit into

mainhyperpolymath/valence-shell:mainfrom

spdx/copyright-idris-2026-06-01hyperpolymath/valence-shell:spdx/copyright-idris-2026-06-01Copy head branch name to clipboard