Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* HoTT Zullip
@ 2020-04-01 13:10 Bas Spitters
  2020-04-04 13:23 ` [HoTT] " Gabriel Scherer
  0 siblings, 1 reply; 3+ messages in thread
From: Bas Spitters @ 2020-04-01 13:10 UTC (permalink / raw)
  To: homotopytypetheory

With Johan Commelin we started a HoTT bulletin board.
The interaction is a bit faster than using a mailing-list.
People seem to be enjoying it:
https://hott.zulipchat.com/

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2020-04-17  6:03 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-01 13:10 HoTT Zullip Bas Spitters
2020-04-04 13:23 ` [HoTT] " Gabriel Scherer
2020-04-17  6:03   ` Bas Spitters

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).