aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 6823777c9..20892a861 100644
--- a/README.md
+++ b/README.md
@@ -138,7 +138,7 @@ But you can also use them to destructure them inside pattern-matching:
_
#None)
-There is also the special **\or** macro, which instroduces *or patterns*
+There is also the special **\or** macro, which introduces *or patterns*
(deftype Weekday
(| #Monday