(Kor) Minor fixes and cleanup

2020-03-26 16:06:03 +01:00
parent 602da07d3d
commit 85babd3730
5 changed files with 6 additions and 10 deletions
@@ -23,7 +23,7 @@ lin
  n9 = mkNum2 "구" "아홉" ;

  -- : Sub10 ;                              -- 1
-  pot01 = mkNum4 "일" "하나" "한" "첫" ;
+  pot01 = mkNum5 "일" "하나" "한" "첫" "열" ;

  -- : Digit -> Sub10 ;                     -- d * 1
  pot0 x = x ;