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

basic korean grammar

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2026-02-12 15:35:26 -07:00
parent 000dfc756c
commit 23af7c0ea6
3 changed files with 30 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -9,13 +9,13 @@ resource HangulJamo = open Prelude in {
infinitive : (stem : Str) -> Str
= \stem -> case stem of {
init + #ha => init + "해" ;
_ + #a_o + #batchim => stem + "아" ;
_ + (#a | #eo) => stem ;
init + #o => init + "ᅪ" ;
init + #eu => init + "ᅥ" ;
init + #i => init + "ㅕ" ;
init + #i => init + "ᅧ" ;
init + #u => init + "ᅯ" ;
init + #ha => init + "해" ;
_ => stem + "어"
} ;