@@ -11,7 +11,7 @@ dependent types in general, can be obtained from various sources:
11 questions on the mailing list.
11 questions on the mailing list.
13- The IRC channel ``#idris``, on
13- The IRC channel ``#idris``, on
14− `chat.freenode.net <http://chat.freenode.net>`__.
14+ `webchat.freenode.net <https://webchat.freenode.net/>`__.
16- The wiki (https://github.com/idris-lang/Idris-dev/wiki/) has further
16- The wiki (https://github.com/idris-lang/Idris-dev/wiki/) has further
17 user provided information, in particular:
17 user provided information, in particular: