Fix link to Freenode webchat.
commit2ad85f57ff182407c9ca6022b3756814417c2c98
authorAlex Berg <chexxor@users.noreply.github.com>
dateSat 12 Jan 2019, 16:59 (8 years ago)
parentf445c51
docs/tutorial/conclusions.rst+1−1
@@ -11,7 +11,7 @@ dependent types in general, can be obtained from various sources:
1111 questions on the mailing list.
1212
1313- The IRC channel ``#idris``, on
14− `chat.freenode.net <http://chat.freenode.net>`__.
14+ `webchat.freenode.net <https://webchat.freenode.net/>`__.
1515
1616- The wiki (https://github.com/idris-lang/Idris-dev/wiki/) has further
1717 user provided information, in particular: