diff options
Diffstat (limited to 'next-lib/src/api/Combinators.gf')
| -rw-r--r-- | next-lib/src/api/Combinators.gf | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/next-lib/src/api/Combinators.gf b/next-lib/src/api/Combinators.gf index 16e184fc1..07431c9af 100644 --- a/next-lib/src/api/Combinators.gf +++ b/next-lib/src/api/Combinators.gf @@ -80,12 +80,6 @@ incomplete resource Combinators = open Cat, Structural, Constructors in { neg : RCl -> RS }; ---2 Text append - --- This is not in ground API, because it would destroy parsing. - - appendText : Text -> Text -> Text ; - --. pred = overload { |