From 0a45f2c20cab162b1d6d1ed1096b6fa64fa96a80 Mon Sep 17 00:00:00 2001 From: jultty Date: Thu, 29 May 2025 00:32:15 -0300 Subject: [PATCH] New link: the algebra of dependent types --- content/links/the-algebra-of-dependent-types.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 content/links/the-algebra-of-dependent-types.md diff --git a/content/links/the-algebra-of-dependent-types.md b/content/links/the-algebra-of-dependent-types.md new file mode 100644 index 0000000..bdf8b1e --- /dev/null +++ b/content/links/the-algebra-of-dependent-types.md @@ -0,0 +1,6 @@ ++++ +title = "the algebra of dependent types" +date = 2025-05-29T00:32:09-03:00 +[extra] +url = "https://dotat.at/@/2025-05-28-types.html" ++++