write way too long post on the unsafe code model
authorRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 01:46:03 +0000 (18:46 -0700)
committerRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 01:46:03 +0000 (18:46 -0700)
commit541a2b6f4ce2373ba4ae9c7878d510c9074a03a9
tree2ce6c2f2d03b2c272e9b24410cd5b7be7a7efd74
parent36a611bba1d5e5ddd377ce3c748a2bfa92fbdb8d
write way too long post on the unsafe code model
personal/_drafts/types-as-contracts.md [deleted file]