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"
++++