Update ACKNOWLEDGMENTS.md

mmottl · Aug 2, 2017 · e296605 · e296605
1 parent 9ce20dd
commit e296605
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ACKNOWLEDGMENTS.md b/ACKNOWLEDGMENTS.md
@@ -4,5 +4,5 @@ datastructures.  They have used the automated theorem prover "Coq" to prove many
 of Okasaki's datastructures correct, including their computational complexity.
 An earlier implementation of streams in this library differed slightly from
 theirs, and it was not clear whether this could break their complexity
-guarantees.  The new representation is based on Arthur's and Rboerto's
+guarantees.  The new representation is based on Arthur's and Roberto's
 recommendations and should be sound.