diff --git a/examples/string_join.modal b/examples/string_join.modal new file mode 100644 index 0000000..8f4b8ea --- /dev/null +++ b/examples/string_join.modal @@ -0,0 +1,11 @@ +?(?-) (This example joins two tokens.) + +<> (join (?a) (?*)) (join reverse (?a) List (?*)) +<> (join List () List ?*) (?*) +<> (join List (?x ?y) List ?z) (join List ?y List (?x ?z)) + +<> (reverse List ()) (List) +<> (reverse (?*)) (reverse List (?*) ()) +<> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z)) + +join (foo) (bar) \ No newline at end of file