msyds/comp-syntax-gu-mlt
1
0
Fork 0
forked from GitHub/comp-syntax-gu-mlt
Code Pull Requests Activity

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2026-02-07 19:27:51 -07:00
parent c481320ed6
commit 99a260a729
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lab1/grammar/korean/MicroLangKor.gf
View File

@@ -70,7 +70,7 @@ lin city_N = mkN "city" ;
-- lin clever_A = mkA "똑똑한" ; -- lin clever_A = mkA "똑똑한" ;
lin cloud_N = mkN "cloud" ; lin cloud_N = mkN "cloud" ;
-- lin cold_A = mkA "차가운" ; -- lin cold_A = mkA "차가운" ;
lin come_V = regVerb_ao "오다" ; lin come_V = regVerb_a_o "오다" ;
lin computer_N = mkN "컴퓨터" ; lin computer_N = mkN "컴퓨터" ;
lin cow_N = mkN "cow" ; lin cow_N = mkN "cow" ;
-- lin dirty_A = mkA "더러운" ; -- lin dirty_A = mkA "더러운" ;
@@ -114,7 +114,7 @@ lin river_N = mkN "river" ;
lin sea_N = mkN "바다" ; lin sea_N = mkN "바다" ;
-- lin see_V2 = mkV2 (mkV "see" "saw" "seen") ; -- lin see_V2 = mkV2 (mkV "see" "saw" "seen") ;
lin ship_N = mkN "ship" ; lin ship_N = mkN "ship" ;
lin sleep_V = regVerb_ao "자다" ; lin sleep_V = regVerb_a_o "자다" ;
-- lin small_A = mkA "작은" ; -- lin small_A = mkA "작은" ;
lin star_N = mkN "별" ; lin star_N = mkN "별" ;
-- lin swim_V = mkV "swim" "swam" "swum" ; -- lin swim_V = mkV "swim" "swam" "swum" ;

2
lab1/grammar/korean/MicroResKor.gf
View File

@@ -25,7 +25,7 @@ resource MicroResKor = open Prelude in {
} }
} ; } ;
regVerb_ao : (lemma : Str) -> Verb regVerb_a_o : (lemma : Str) -> Verb
= \lemma -> = \lemma ->
let stem = lemmaToStem lemma ; let stem = lemmaToStem lemma ;
in { in {