Finished UTF8 identifier conversion. Will probably redo it at string level, i.e. after pretty-printing instead
This commit is contained in:
1 parent
8a61dc4720
commit
ef99677379
1 file changed
+1
@@ -1,6 +1,7 @@
|
||||
concrete NumeralsSwe of Numerals = open MorphoSwe, Prelude in {
|
||||
|
||||
lincat
|
||||
Numeral = { s : Str } ;
|
||||
Digit = {s : DForm => Str} ;
|
||||
Sub10 = {s : DForm => Str} ;
|
||||
|
||||
|
||||
Reference in new issue
Block a user