Add missing odra::prelude path in generated code#436

Merged

kpob merged 2 commits intorelease/1.0.0from fix/simple-module-requires-prelude-load

May 16, 2024

+100-94

Commits on May 15, 2024

add missing odra::prelude path
kpob
committed

Commits on May 16, 2024

Merge branch 'release/1.0.0' into fix/simple-module-requires-prelude-load
kpob
committed