jutty/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

New link: the algebra of dependent types

Browse source
This commit is contained in:
jultty 2025-05-29 00:32:15 -03:00
commit 0a45f2c20c
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
content/links/the-algebra-of-dependent-types.md Normal file
View file

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