Idris 2: The compiler rejects a qualified name for a local namespace
Reported · low · API-contract bug
If a namespace is declared in a where or let block, its qualified names do not resolve. The compiler reports an undefined name error, but the unqualified name works.
Found: ; reported: ; status since: . Reporter: Denis Buzdalov