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