add append function to tiny_rope.sml

2024-03-13 06:54:19 +00:00
parent 7bd4fad8e8
commit 21fd98df8b
3 changed files with 51 additions and 7 deletions
--- a/proj.mlb
+++ b/proj.mlb
@@ -9,5 +9,5 @@ in
  automerge.sml
 end

-rope.sml
+tiny_rope.sml
 utils.sml