typos

Rewritten-docs.md

@@ -62,7 +62,7 @@ fortunately, programming is one of them.
 
 University education system is one of the areas where this knowledge can be
 applied. In computer programming, there are several requirements a program
-should satify, such as the code being syntactically correct, efficient and easy
+should satisfy, such as the code being syntactically correct, efficient and easy
 to read, maintain and extend. 
 
 Checking programs written by students takes time and requires a lot of
@@ -79,7 +79,7 @@ save time for tasks such as examining bad design, bad coding habits and logical
 mistakes, which are difficult to perform automatically.
 
 There are two basic ways of automatically evaluating code -- statically
-(checking the sourcecode without running it; safe, but not very precise) or
+(checking the source code without running it; safe, but not very precise) or
 dynamically (running the code on test inputs and checking the correctness of
 outputs ones; provides good real world experience, but requires extensive
 security measures).