From f85bb5ef544056ad824837d805ef68681a05a142 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Wed, 28 Jan 2026 09:17:06 -0700 Subject: [PATCH] b --- lab1/grammar/korean/MicroLangKor.gf | 2 +- lab1/grammar/korean/MicroResKor.gf | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/lab1/grammar/korean/MicroLangKor.gf b/lab1/grammar/korean/MicroLangKor.gf index bc01be2..95d751d 100644 --- a/lab1/grammar/korean/MicroLangKor.gf +++ b/lab1/grammar/korean/MicroLangKor.gf @@ -7,7 +7,7 @@ concrete MicroLangKor of MicroLang = open MicroResKor, Prelude in { lincat Utt = {s : Str} ; - + S = {s : Str} ; VP = {verb : Verb ; compl : Str} ; ---s special case of Mini Comp = {s : Str} ; diff --git a/lab1/grammar/korean/MicroResKor.gf b/lab1/grammar/korean/MicroResKor.gf index b0cdadf..820f4e3 100644 --- a/lab1/grammar/korean/MicroResKor.gf +++ b/lab1/grammar/korean/MicroResKor.gf @@ -1,11 +1,13 @@ resource MicroResKor = open Prelude in { param Regularity = Regular | PieupIrregular ; + VerbType = Action | Descriptive ; oper Noun : Type = {s : Str} ; Verb : Type = { reg : Regularity ; - stem : Str + stem : Str ; + t : VerbType } }