diff options
Diffstat (limited to 'modal/tests/cases/06_lists_reverse.modal')
| -rw-r--r-- | modal/tests/cases/06_lists_reverse.modal | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/modal/tests/cases/06_lists_reverse.modal b/modal/tests/cases/06_lists_reverse.modal new file mode 100644 index 0000000..3eb0c94 --- /dev/null +++ b/modal/tests/cases/06_lists_reverse.modal @@ -0,0 +1,6 @@ +<> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z)) +<> (reverse List ?empty ?list) (print List ?list) +<> (print List (?: ?x)) (print List ?x) +<> (print List ()) () + +(reverse List (m (o (d (a (l ()))))) ()) |