Update README.md

Author: sphilee

readme.md

@@ -467,7 +467,7 @@ const greet = () => 'Hello World!'
 
 ##  Equational Reasoning
 
-응용 프로그램이 표현식으로 구성되어 부작용이없는 경우 시스템에 대한 진실은 해당 부분에서 파생 될 수 있습니다.
+응용 프로그램이 표현식으로 구성되어 부작용이 없는 경우 시스템에 대한 진실은 해당 부분에서 파생될 수 있습니다.
 
 ## Lambda