Merge pull request #28 from pitmonticone/master

Fix typos
hwayne · Jan 5, 2024 · 616ce4d · 616ce4d
2 parents e221adc + 91065e8
commit 616ce4d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -62,7 +62,7 @@ It's great when people get excited about things, but sometimes they get a little
 
 * **Notes:**  Systems were verified with Coq and Z3. Further discussion at [The Morning Paper](https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/).
 
-#### [Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identiﬁer Names](http://www2.unibas.it/gscanniello/Giuseppe_Scanniello%40unibas/Home_files/TOSEM.pdf) (PDF)
+#### [Fixing Faults in C and Java Source Code: Abbreviated vs. Full-word Identifier Names](http://www2.unibas.it/gscanniello/Giuseppe_Scanniello%40unibas/Home_files/TOSEM.pdf) (PDF)
 
 * **Hype:** "Identifiers should be self-documenting! Use full names, not abbreviations." 
 

diff --git a/pull_request_template.md b/pull_request_template.md
@@ -4,6 +4,6 @@
 - [ ] The resource is free.
 - [ ] The resource is rigorous because: (please list)
 - [ ] The resource is not obnoxious, condescending, etc.
-- [ ] My writup is respectful of both sides.
+- [ ] My writeup is respectful of both sides.
 - [ ] I've added reasonable caveats.
 - [ ] I've noted if the resource is a video, pdf, etc.