module Network.Socket isn't found in Idris

user_7978068 0
Viewed 230

I'm trying to import Socket in Idris in REPL:

Idris> :module Network.Socket
Can't find import Network/Socket

Why?

idris read-eval-print-loop package
1 Answers
Related