lab1/grammar/korean/MicroResKor.gf

@@ -11,9 +11,28 @@ resource MicroResKor = open Prelude in {
     lemmaToStem : (lemma : Str) -> Str
       = \lemma -> case lemma of {
 	stem + "다" => stem ;
-	_ => Predef.error ("lemmaToStem was applied to a non-lemma, " ++ lemma)
+	_ => Predef.error ("lemmaToStem was applied to a non-lemma," ++ lemma)
       } ;
 
-    -- regVerb_eo : (lemma : Str) -> Verb
-      
+    regVerb_eo : (lemma : Str) -> Verb
+      = \lemma ->
+      let stem = lemmaToStem lemma ;
+      in {
+	s = table {
+	  Lemma => lemma ;
+	  VPresent => stem + "어요" ;
+	  VPast => stem + "었어요"
+	  }
+      } ;
+
+    regVerb_ao : (lemma : Str) -> Verb
+      = \lemma ->
+      let stem = lemmaToStem lemma ;
+      in {
+	s = table {
+	  Lemma => lemma ;
+	  VPresent => stem + "아요" ;
+	  VPast => stem + "았어요"
+	  }
+      } ;
 }