Skip to content

fix(lol/abi): make the lol-abi Idris package typecheck#389

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/hopeful-babbage-pn0l4o
Jun 18, 2026
Merged

fix(lol/abi): make the lol-abi Idris package typecheck#389
hyperpolymath merged 2 commits into
mainfrom
claude/hopeful-babbage-pn0l4o

chore(registry): regenerate REGISTRY.a2ml to clear pre-existing drift

152e077
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar