<div dir="ltr"><div>Hello,</div><div><br></div><div>Just a quick note that there is now a channel on the freenode IRC network for real time discussion of Homotopy Type Theory and related topics.</div><div><br></div><div>The channel is ##hott (please note the double hash!) on irc://<a href="http://chat.freenode.net">chat.freenode.net</a> and currently has around 20 users and growing.</div>
<div><br></div><div>For reference, the freenode IRC network has an active community of type theory enthusiasts, functional programmers, and mathematicians in various channels, including ##categorytheory, ##logic, #agda, #coq, #epigram, #haskell, #idris, #ocaml, and others. Across these channels there are now upwards of 1000 users.</div>
<div><br></div><div>One can find more information on the freenode IRC network, including software or web-based IRC clients, at <a href="https://freenode.net">https://freenode.net</a></div><div><br></div><div>We are hoping the ##hott channel can be a useful resource for interested parties. Please feel free to repost this information elsewhere.</div>
<div><br></div><div>Kind Regards,</div><div>Darin Morrison</div></div>