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)
commitbb5a4fa2cda227d36e556fb4187890addddc40dc
tree12b1731d83ecd1d7b29fbe0c6d9bb2820bb77f0e
parentb6a65f7fb358d8da5a2ba1e28528be126d553e5e
write way too long post on the unsafe code model
personal/_drafts/types-as-contracts.md [deleted file]