2026-02-07 18:57:59 -07:00
parent 8f07d8c73d
commit 9f59998ef2
3 changed files with 12 additions and 18 deletions
--- a/lab1/grammar/korean/MicroResKor.gf
+++ b/lab1/grammar/korean/MicroResKor.gf
@@ -1,15 +1,10 @@
 resource MicroResKor = open Prelude in {
  param
-    Regularity = Regular | PieupIrregular ;
-    VerbType = Action | Descriptive ;
+    VForm = VPresent | VPast ;

  oper
    Noun : Type = {s : Str} ;
-    Verb : Type = {
-      reg : Regularity ;
-      stem : Str ;
-      t : VerbType
-      } ;
+    Verb : Type = {s : VForm => Str} ;
    Verb2 : Type = Verb ;
    Adjective : Type = Verb ;
 }