cross-post linking to SIGPLAN Rust post master
authorRalf Jung <post@ralfj.de>
Sun, 20 Oct 2019 12:53:25 +0000 (14:53 +0200)
committerRalf Jung <post@ralfj.de>
Sun, 20 Oct 2019 12:53:25 +0000 (14:53 +0200)
commit47a72d30696caed054fe475de3c6c5287f8863aa
treea307795e26225a018e24c6dce0cecaf8771b7317
parenta859220c739395803573893936de9e11da335e64
cross-post linking to SIGPLAN Rust post
ralf/_posts/2019-10-20-type-soundness.md [new file with mode: 0644]