Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [HoTT] agda chat on zulip
@ 2020-05-13 11:29 Egbert Rijke
  2020-05-13 13:19 ` Nils Anders Danielsson
  0 siblings, 1 reply; 3+ messages in thread
From: Egbert Rijke @ 2020-05-13 11:29 UTC (permalink / raw)
  To: Homotopy Type Theory


[-- Attachment #1: Type: text/plain, Size: 559 bytes --]

Dear all,

I created a zulipchat for agda. Feel free to join!

https://agda.zulipchat.com/join/dig82g1cmzd4bqrtp6o3qxaa/

With kind regards,
Egbert

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAGqv1OBOVKUPKaxDb%2Bhkx7n%2BbFMqpEDkRjWTD%2BXds_x7y47CdA%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 1249 bytes --]

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

* Re: [HoTT] agda chat on zulip
  2020-05-13 11:29 [HoTT] agda chat on zulip Egbert Rijke
@ 2020-05-13 13:19 ` Nils Anders Danielsson
  2020-05-13 13:53   ` Emily Riehl
  0 siblings, 1 reply; 3+ messages in thread
From: Nils Anders Danielsson @ 2020-05-13 13:19 UTC (permalink / raw)
  To: HomotopyTypeTheory

On 2020-05-13 13:29, Egbert Rijke wrote:
> I created a zulipchat for agda. Feel free to join!
> 
> https://agda.zulipchat.com/join/dig82g1cmzd4bqrtp6o3qxaa/

Is there a need for yet another channel for communication about Agda?
People are already asking questions on the Agda mailing list, on the
GitHub bug tracker, on the IRC channel, on Gitter, on Reddit, and on
Stack Overflow. What is the purpose of adding yet another channel (which
additionally seems to require you to log in just to see what others have
written)?

-- 
/NAD

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/a17e988e-1455-3bc5-03c5-d24c5b07747a%40cse.gu.se.

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

* Re: [HoTT] agda chat on zulip
  2020-05-13 13:19 ` Nils Anders Danielsson
@ 2020-05-13 13:53   ` Emily Riehl
  0 siblings, 0 replies; 3+ messages in thread
From: Emily Riehl @ 2020-05-13 13:53 UTC (permalink / raw)
  To: HomotopyTypeTheory


[-- Attachment #1: Type: text/plain, Size: 2035 bytes --]

I think the zulip chats might be slightly friendlier for newcomers than any
of the sources you mentioned just because they're more casual. For
instance, I asked some very naive questions on the lean zulip chat and
wasn't made to feel like a complete idiot.

Since zulip seems to be increasingly popular in other communities with an
interest in formalized mathematics, this might also serve as a "recruiting
opportunity" to get some new folks to start playing around with agda.

Emily
--
Associate Professor, Dept. of Mathematics
Johns Hopkins University
www.math.jhu.edu/~eriehl
she/her


On Wed, May 13, 2020 at 6:20 AM Nils Anders Danielsson <nad@cse.gu.se>
wrote:

> On 2020-05-13 13:29, Egbert Rijke wrote:
> > I created a zulipchat for agda. Feel free to join!
> >
> > https://agda.zulipchat.com/join/dig82g1cmzd4bqrtp6o3qxaa/
>
> Is there a need for yet another channel for communication about Agda?
> People are already asking questions on the Agda mailing list, on the
> GitHub bug tracker, on the IRC channel, on Gitter, on Reddit, and on
> Stack Overflow. What is the purpose of adding yet another channel (which
> additionally seems to require you to log in just to see what others have
> written)?
>
> --
> /NAD
>
> --
> You received this message because you are subscribed to the Google Groups
> "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/HomotopyTypeTheory/a17e988e-1455-3bc5-03c5-d24c5b07747a%40cse.gu.se
> .
>
>

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAjZwAb1mNUDUphDimRxJeUkYJkWq3VpgWYcCxbsgN5Uy2edQg%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 3558 bytes --]

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

end of thread, back to index

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-13 11:29 [HoTT] agda chat on zulip Egbert Rijke
2020-05-13 13:19 ` Nils Anders Danielsson
2020-05-13 13:53   ` Emily Riehl

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git