add some more changes

2026-06-30 02:58:35 -06:00 · 2018-03-23 19:02:52 -03:00
parent 2aaa698f69
commit 2939809f45
20 changed files with 5555 additions and 6852 deletions
@@ -1,6 +1,8 @@
 concrete NumeralPor of Numeral = CatPor [Numeral,Digits] **
  open CommonRomance, ResRomance, MorphoPor, Prelude in {

+  flags coding=utf8 ;
+
 lincat
  Digit = {s : DForm => CardOrd => Str} ;
  Sub10 = {s : DForm => CardOrd => Str ; n : Number} ;