flupe c159e989ef wip		2024-12-21 10:45:19 +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	more work on achille-smc draft	2022-12-10 01:30:23 +01:00
first-entry.rst	renamed posts	2022-12-06 21:20:57 +01:00
haskell-dijkstra.lhs.md	wip	2024-12-21 10:45:19 +01:00
overloading-lambda.md	typos + text	2022-12-15 00:07:30 +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
wireframe-sphere-with-ellipses.md	yearly backup	2024-02-15 18:56:40 +01:00