Repository navigation

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

Commits on Jun 4, 2026
- fix(framework): compile Framework core + Filesystem subsystem
  Claude
  committed
  53b71db
- feat(a2ml): implement the A2ML lexer/parser/validator/serializer
  Claude
  committed
  5427738
- fix(ci): point CodeQL at 'actions', not absent javascript-typescript
  Claude
  committed
  990957f