Skip to content

refactor: move registration of namespaces on kernel add into elaborator #7489

refactor: move registration of namespaces on kernel add into elaborator

refactor: move registration of namespaces on kernel add into elaborator #7489

Annotations

1 warning

check-prelude

succeeded Jan 12, 2025 in 4s