aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcvializ2015-05-04 16:33:09 -0700
committercvializ2015-05-04 16:33:09 -0700
commitd02d39bd6d9001ad60a3d81f859c7d89c138bce6 (patch)
tree16e0a1a073b004a7f151b57c44482da58824a0fd
parent65ca40fc542ddefa5813997cc4c82b581089b027 (diff)
Update README.md
Quick proofreading fix
-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