add Miri blog post
authorRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:00:00 +0000 (19:00 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:00:00 +0000 (19:00 +0200)
commit8f6991b97ac7111f7cf3498dfec64314e6c4203a
tree1a0c63a3792a9c18c4f10d56b8a4120896cbfbd3
parent5df078adc873de102c6ff0794618bd3969098750
add Miri blog post
personal/_posts/2020-09-28-miri.md [new file with mode: 0644]