[Haskell-cafe] Homotopy Type Theory IRC Channel

Darin Morrison darinmorrison+haskell-cafe at gmail.com
Mon Jul 15 21:24:30 CEST 2013


Hello,

I know there are many haskellers interested in dependent type theory so I
wanted to mention that there is now an IRC channel on freenode for
discussing Homotopy Type Theory (HoTT), e.g., the recent book, possible
implementations, dependent type theory in general, etc.

The channel is ##hott (NOTE the *two* hashes!) and you can connect directly
through freenode's web interface if you don't already have a client:
https://webchat.freenode.net/?channels=%23%23hott

Currently we have around 50 members but the more the merrier!


If you don't know much about IRC but would like to learn more:

* http://www.irchelp.org — how IRC works, software clients, FAQs, and other
info

* http://freenode.net — info about the freenode IRC network specifically

Cheers,
Darin Morrison
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130715/9e44ecda/attachment.htm>


More information about the Haskell-Cafe mailing list