Skip to content

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

Merged
hyperpolymath merged 2 commits into
mainfrom
proof-debt/standards-134-spdx-headers
May 20, 2026
Merged

chore(idris2): add SPDX headers to idris2/src/*.idr (#134)#88
hyperpolymath merged 2 commits into
mainfrom
proof-debt/standards-134-spdx-headers

Merge branch 'main' into proof-debt/standards-134-spdx-headers

f82fdf4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar