flupe 6e1302fb3c renamed posts		2022-12-06 21:20:57 +01:00
..
2020-04-14-univalent-parametricity-in-agda.lagda.rst	first commit	2020-06-13 18:22:47 +02:00
2021-04-05-jibniz.md	first draft on jibniz post	2021-04-05 14:59:41 +02:00
achille-smc.md	first draft on achille with smc	2022-12-06 20:58:05 +01:00
first-entry.rst	renamed posts	2022-12-06 21:20:57 +01:00
switching-to-migadu.md	renamed posts	2022-12-06 21:20:57 +01:00
syndication.rst	renamed posts	2022-12-06 21:20:57 +01:00