]> git.ralfj.de Git - web.git/commit
fix typo and add link to talk
authorRalf Jung <post@ralfj.de>
Wed, 12 Feb 2025 19:40:30 +0000 (20:40 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 12 Feb 2025 19:40:30 +0000 (20:40 +0100)
commit7f2ddf56699c717bb7e91b745f9a0e7332fc064d
tree71ccca108b5ba3efaf8a7cdf53154c106a9649a0
parentbcc0673c7d883945b7b29440642998a690c44d07
fix typo and add link to talk
personal/_posts/2025-01-15-program-logics-a-la-carte.md