Skip to content

Add horde-ad and bring back ox-arrays#7985

Merged
juhp merged 1 commit intocommercialhaskell:masterfrom
Mikolaj:master
Apr 15, 2026
Merged

Add horde-ad and bring back ox-arrays#7985
juhp merged 1 commit intocommercialhaskell:masterfrom
Mikolaj:master

Commits

Commits on Apr 14, 2026