typo

Author: daejunpark

README.md

@@ -26,7 +26,7 @@ The following instructions are for standard Debian/Ubuntu distributions.
 
 ### 1. Install K
 
-This semantics is compatible with a customized version of the lastest K framework.
+This semantics is compatible with a customized version of the latest K framework.
 You can install the version of K as follows:
 ```
 $ git clone https://github.com/kframework/k.git