Merge pull request #5673 from eschnett/patch-1

ceedubs · web-flow · commit 95633d3c6ace · 2025-05-01T11:25:42.000-04:00
Update README.md: Correct typo in comment
diff --git a/CONTRIBUTORS.markdown b/CONTRIBUTORS.markdown
@@ -91,3 +91,4 @@ The format for this list: name, GitHub handle
 * Ruslan Simchuk (@SimaDovakin)
 * Brandon Barker (@bbarker)
 * Manish Bhasin (@xmbhasin)
+* Erik Schnetter (@eschnett)
diff --git a/README.md b/README.md
@@ -33,7 +33,7 @@ Here is some sample code:
 factorial : Nat -> Nat
 factorial n = product (range 0 (n + 1))
 
--- Signatures can left off; they will be inferred
+-- Signatures can be left off; they will be inferred
 List.map f as =
   go acc rem = match rem with
     [] -> acc
