diff --git a/lab1/grammar/korean/HangulCoding.gf b/lab1/grammar/korean/HangulCoding.gf
deleted file mode 100644
index 0835535..0000000
--- a/lab1/grammar/korean/HangulCoding.gf
+++ /dev/null
@@ -1,6 +0,0 @@
-resource HangulCoding = open HangulCodingRes in {
-  flags coding=utf8 ;
-  oper
-    this_uses_syllables : Str = coding "가" ;
-    this_uses_jamo : Str = coding "가" ;
-}
diff --git a/lab1/grammar/korean/HangulCodingRes.gf b/lab1/grammar/korean/HangulCodingRes.gf
deleted file mode 100644
index 38502a8..0000000
--- a/lab1/grammar/korean/HangulCodingRes.gf
+++ /dev/null
@@ -1,9 +0,0 @@
-resource HangulCodingRes = {
-  flags coding=utf8 ;
-  oper
-    coding : Str -> Str
-      = \s -> case s of {
-        "가" => "SYLLABLES" ;
-        "가" => "JAMO"
-      } ;
-}
diff --git a/lab1/grammar/korean/MicroLangKor.gf b/lab1/grammar/korean/MicroLangKor.gf
index 53cd88a..5a46821 100644
--- a/lab1/grammar/korean/MicroLangKor.gf
+++ b/lab1/grammar/korean/MicroLangKor.gf
@@ -72,8 +72,7 @@ lin child_N = mkN "어린이" ;
 -- lin clever_A = mkA "똑똑한" ;
 -- lin cloud_N = mkN "cloud" ;
 -- lin cold_A = mkA "차가운" ;
--- lin come_V = regVerb "오다" ; -- JAMO
-lin come_V = regVerb "오다" ; -- SYLLABLES
+lin come_V = regVerb "오다" ;
 lin computer_N = mkN "컴퓨터" ;
 -- lin cow_N = mkN "cow" ;
 -- lin dirty_A = mkA "더러운" ;