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)
commitbc0ea11957e34d426094062fa887262624640f93
treea8a0620ecd5f66e5517dacffa401eef339e87053
parentc5d8f98ceccd593a6491fcd62e127ea5c059eb16
write way too long post on the unsafe code model
ralf/_drafts/types-as-contracts.md [deleted file]