jutty/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
blog/content/links/the-algebra-of-dependent-types.md
jultty 0a45f2c20c New link: the algebra of dependent types
2025-05-29 00:32:15 -03:00

139 B
Raw Blame History

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