]> git.ralfj.de Git - web.git/commit
try to make the wording less confusing
authorRalf Jung <post@ralfj.de>
Thu, 16 Jan 2025 14:18:28 +0000 (15:18 +0100)
committerRalf Jung <post@ralfj.de>
Thu, 16 Jan 2025 14:18:28 +0000 (15:18 +0100)
commitbcc0673c7d883945b7b29440642998a690c44d07
treedf8d12b54739107401d77a943ac8af9794135a64
parentcbf690bdc20376d9f620cab580985add85c2e7a0
try to make the wording less confusing
personal/_posts/2025-01-15-program-logics-a-la-carte.md