ConstructionsDut and geonames in DictionaryChi (including some in Latin letters without spaces)

This commit is contained in:
aarne
2014-06-18 13:14:51 +00:00
parent 12210ebb61
commit 180ba3b9d9
6 changed files with 2735 additions and 2 deletions

View File

@@ -23,7 +23,10 @@ oper
mkPN : (john : Str) -> PN
= \s -> lin PN {s = word s} ;
= \s -> lin PN {s = word s} ; -- normal name, in Chinese characters
foreignPN : (john : Str) -> PN
= \s -> lin PN {s = s} ; -- foreign name, in Latin or other non-Chinese characters
mkA = overload {
mkA : (small : Str) -> A