|
||
---|---|---|
.. | ||
2020-04-13-a-first-entry.rst | ||
2020-04-14-univalent-parametricity-in-agda.lagda.rst | ||
2020-09-26-syndication.rst | ||
2021-04-05-jibniz.md |
|
||
---|---|---|
.. | ||
2020-04-13-a-first-entry.rst | ||
2020-04-14-univalent-parametricity-in-agda.lagda.rst | ||
2020-09-26-syndication.rst | ||
2021-04-05-jibniz.md |