Skip to content

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

refactor: move registration of namespaces on kernel add into elaborator

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

Annotations

1 warning

check-prelude

succeeded Jan 18, 2025 in 6s