blog/content/links/the-algebra-of-dependent-types.md

+++ title = "the algebra of dependent types" authors = [ "Tony Finch" ] date = 2025-05-29T00:32:09-03:00 [extra] url = "https://dotat.at/@/2025-05-28-types.html" +++