(Kor) Add numerals -- so far only up to 100

This commit is contained in:
Inari Listenmaa committed 2020-03-26 12:40:29 +01:00
1 parent 115e2f1ffa
commit 602da07d3d
3 files changed
+125 -3

No files matched your search

+2 -2
View File
@@ -94,13 +94,13 @@ concrete NounKor of Noun = CatKor ** open ResKor, Prelude in {
NumPl = baseNum ** {n = Pl} ;
-- : Card -> Num ;
-- NumCard card =
NumCard card = card ;
-- : Digits -> Card ;
-- NumDigits dig =
-- : Numeral -> Card ;
-- NumNumeral num
NumNumeral num = num ;
{-
-- : AdN -> Card -> Card ;