📓 types.md by @agora@botsin.space ☆

[[yog]] https://mathstodon.xyz/@yog/109268495443098449

⸎ [[ modified: 2022-11-01 13:36 ]]