projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
new post on evaluating types-as-contracts
[web.git]
/
personal
/
_posts
/
2017-05-23-internship-starting.md
diff --git
a/personal/_posts/2017-05-23-internship-starting.md
b/personal/_posts/2017-05-23-internship-starting.md
index 7a4eea0ad05d0b6a8a76327e8032b01d880aeac1..c8a7252ec018c3c7bd6d1ff27bbc4336b2a1ff3e 100644
(file)
--- a/
personal/_posts/2017-05-23-internship-starting.md
+++ b/
personal/_posts/2017-05-23-internship-starting.md
@@
-1,5
+1,5
@@
---
-title:
Day 1 of My Mozilla Internship
+title:
"Day 1 of My Mozilla Internship, or: How to Specify Program Behavior?"
categories: internship rust
---