1
0
forked from GitHub/gf-rgl

added PiedPiping to Extend and corrected the comment on RelSlash in RelativeEng

This commit is contained in:
Aarne Ranta
2023-08-21 22:21:47 +03:00
parent fb398c603e
commit 84a03ef78a
6 changed files with 24 additions and 10 deletions
+2 -2
View File
@@ -22,8 +22,8 @@ concrete RelativeEng of Relative = CatEng ** open ResEng, Prelude in {
c = npNom
} ;
-- Pied piping: "that we are looking at". Pied piping and empty
-- relative are defined in $ExtraEng.gf$ ("at which we are looking",
-- Preposition stranding: "that we are looking at". Pied piping and empty
-- relative are defined in $ExtendEng.gf$ ("at which we are looking",
-- "we are looking at").
RelSlash rp slash = {