Fix punctuation to use SOFT_BIND and BIND in the whole RGL
This commit is contained in:
1 parent
7a04b65fb1
commit
a742d54515
26 files changed
+57
-95
No files matched your search
@@ -6,6 +6,6 @@ concrete CompatibilityCat of Compatibility = CatCat ** open Prelude, CommonRoman
|
||||
|
||||
lin
|
||||
NumInt n = {s = \\_ => n.s ; isNum = True ; n = Pl} ;
|
||||
OrdInt n = {s = \\_ => n.s ++ "."} ; ---
|
||||
OrdInt n = {s = \\_ => n.s ++ SOFT_BIND ++ "."} ; ---
|
||||
|
||||
}
|
||||
Reference in new issue
Block a user