d6
/
modal
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added tests for whitespace

This commit is contained in:
Devine Lu Linvega 2024-04-23 08:21:35 -07:00
parent 95d8bf3d8e
commit bb58d295fd
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
examples/tests.modal
View File

@ -1,5 +1,12 @@
?(?-) (This example tests various aspects of the implementation.) ?(?-) (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) ?(?-) (Inline rules)
<> ((?x -> ?y)) (<> ?x ?y) <> ((?x -> ?y)) (<> ?x ?y)