jamo comments

lab1/grammar/korean/HangulJamo.gf

@@ -9,13 +9,21 @@ 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 + #u => init + "ᅯ" ;
+	-- 맛있다 ⇒ 맛있어
         _ => stem + "어"
       } ;