diff --git a/examples/tests.modal b/examples/tests.modal index 571ea74..9d6d20a 100644 --- a/examples/tests.modal +++ b/examples/tests.modal @@ -41,6 +41,12 @@ compare (abc abc abc) (#t) test replace-empty abc = ?y test +?(?-) (Guards setups) + +<> (join (String ?x) (String ?y)) ((?x ?y) =) + +join (String abc) (String def) (abc def) test + ?(?-) (Lambdas) ?((?x) ((?x ?x) =)) abc (abc abc) test