Skip to content

Resurrect the framework Idris2 core: compile all 13 modules (Framework + Filesystem + A2ML)#16

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/dazzling-noether-hkgAV
Jun 4, 2026
Merged

Resurrect the framework Idris2 core: compile all 13 modules (Framework + Filesystem + A2ML)#16
hyperpolymath merged 3 commits into
mainfrom
claude/dazzling-noether-hkgAV

fix(ci): point CodeQL at 'actions', not absent javascript-typescript

990957f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar