coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog
Date: Mon, 15 Feb 2016 12:29:07 +0100

On 15/02/2016 12:27, Anders Lundstedt wrote:
> Does the blog have any feed one can subscribe to?

There is a link on the front page to an RSS feed:

http://coqhott.gforge.inria.fr/blog/index.rss

PMP

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Pierre-Marie Pédrot, 02/14/2016
- Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Anders Lundstedt, 02/15/2016
  - Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Pierre-Marie Pédrot, 02/15/2016
    - Re: [Coq-Club] CoqHoTT-minute, the CoqHoTT blog, Anders Lundstedt, 02/15/2016