1 files changed, 0 insertions, 10 deletions
diff --git a/doc/tutorial-next/StringOper.gf b/doc/tutorial-next/StringOper.gf
deleted file mode 100644
index 803d957f0..000000000
--- a/doc/tutorial-next/StringOper.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-resource StringOper = {
-    oper
-      SS : Type = {s : Str} ;
-
-      ss : Str -> SS = \x -> {s = x} ;
-
-      cc : SS -> SS -> SS = \x,y -> ss (x.s ++ y.s) ;
-
-      prefix : Str -> SS -> SS = \p,x -> ss (p ++ x.s) ;
-}
-\ No newline at end of file