flupe a38f10a854 added Atom feed		2020-09-27 00:04:04 +02:00
..
2020-04-13-a-first-entry.rst	first commit	2020-06-13 18:22:47 +02:00
2020-04-14-univalent-parametricity-in-agda.lagda.rst	first commit	2020-06-13 18:22:47 +02:00
2020-09-26-syndication.rst	added Atom feed	2020-09-27 00:04:04 +02:00