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

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

⸎ [[ modified: 2022-10-29 18:31 ]]