Skip to content

Add IDA packages - #10

Merged
Kleidukos merged 4 commits into
haskell-effectful:masterfrom
ners:IDA
Jul 28, 2026
Merged

Add IDA packages#10
Kleidukos merged 4 commits into
haskell-effectful:masterfrom
ners:IDA

Commits

Commits on Jul 28, 2026