conjunctive

Results 1 comments of conjunctive

when used in ide-mode idris sends wrongly formatted code (:browse-namespace)

Fixed with PR https://github.com/idris-lang/Idris-dev/pull/4873