aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLuxLang2015-05-04 22:46:48 -0400
committerLuxLang2015-05-04 22:46:48 -0400
commit477019d54edddf7c5add3662bc54bc5ca78baee5 (patch)
tree16e0a1a073b004a7f151b57c44482da58824a0fd
parent65ca40fc542ddefa5813997cc4c82b581089b027 (diff)
parentd02d39bd6d9001ad60a3d81f859c7d89c138bce6 (diff)
Merge pull request #2 from cvializ/patch-1
Update README.md
Diffstat (limited to '')
-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