From 6b50fd52f0d118e7eaa0952e9447a5f1dbdfa6f7 Mon Sep 17 00:00:00 2001
From: 0xflotus <26602940+0xflotus@users.noreply.github.com>
Date: Thu, 4 Oct 2018 22:56:49 +0200
Subject: [PATCH] fixed typelevel.md

---
 docs/docs/typelevel.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/typelevel.md b/docs/docs/typelevel.md
index 53357d7b8466..df27697edcdd 100644
--- a/docs/docs/typelevel.md
+++ b/docs/docs/typelevel.md
@@ -155,7 +155,7 @@ So the end result of the expansion is the expression `throw new IndexOutOfBounds
 
 ## Rewrite Conditionals
 
-Like matches, if-then-else expressions can also be prefixed with the `rewrite` modifier. Such rewrite conditional must have conditions that with a compile-time boolean result. The conditional then recuces to one of its branches depending on whether the condition is knwon to be `true` or to be `false`.
+Like matches, if-then-else expressions can also be prefixed with the `rewrite` modifier. Such rewrite conditional must have conditions that with a compile-time boolean result. The conditional then recuces to one of its branches depending on whether the condition is known to be `true` or to be `false`.
 
 For instance, here is an alternative version of `toNat` formulated with a conditional instead of a `match`.
 ```scala