projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
91713ea
)
add forum link
author
Ralf Jung
<post@ralfj.de>
Tue, 18 Jul 2017 01:54:26 +0000
(18:54 -0700)
committer
Ralf Jung
<post@ralfj.de>
Tue, 18 Jul 2017 01:54:29 +0000
(18:54 -0700)
personal/_posts/2017-07-17-types-as-contracts.md
patch
|
blob
|
history
diff --git
a/personal/_posts/2017-07-17-types-as-contracts.md
b/personal/_posts/2017-07-17-types-as-contracts.md
index 22a1fc2c153cc4025e240ec44c94bf7db492b344..8ad613f92862eb03cc27c21764e1adfa53734bb3 100644
(file)
--- a/
personal/_posts/2017-07-17-types-as-contracts.md
+++ b/
personal/_posts/2017-07-17-types-as-contracts.md
@@
-1,6
+1,7
@@
---
title: "Types as Contracts"
categories: internship rust
---
title: "Types as Contracts"
categories: internship rust
+forum: https://internals.rust-lang.org/t/types-as-contracts/5562
---
Over the last couple of weeks of my [internship]({{ site.baseurl }}{% post_url
---
Over the last couple of weeks of my [internship]({{ site.baseurl }}{% post_url