]> git.ralfj.de Git - web.git/commit
miri paper: fix typo
authorRalf Jung <post@ralfj.de>
Fri, 19 Dec 2025 08:59:37 +0000 (09:59 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 19 Dec 2025 08:59:37 +0000 (09:59 +0100)
commit5e6a8920d7dc92abf2aadde6c2d379a32016528a
tree0e8d8888e67aa7895552065d252047c99f6e66b0
parent4ba826abfc3bbb18adb3d5bc6a631c262990e9c5
miri paper: fix typo
research/papers/2026-popl-miri.pdf