diff --git a/examples/tests.modal b/examples/tests.modal index 77866f2..2c22a40 100644 --- a/examples/tests.modal +++ b/examples/tests.modal @@ -1,5 +1,12 @@ ?(?-) (This example tests various aspects of the implementation.) +?(?-) (Whitespace) + +(a b c ) = (a b c) test +( a b c) = (a b c) test +( a b c ) = (a b c) test +(a b c ( a b c ) ) = (a b c (a b c)) test + ?(?-) (Inline rules) <> ((?x -> ?y)) (<> ?x ?y) @@ -90,4 +97,4 @@ implode (12 (34 (56 ()))) 123456 test <> (reverse (?*)) (reverse List (?*) ()) <> (reverse List (?x ?y) ?z) (reverse List ?y (?x ?z)) -reverse (modal) = ladom test +reverse (modal) = ladom test \ No newline at end of file