diff options
Diffstat (limited to 'modal/tests/cases/01_eq.modal')
| -rw-r--r-- | modal/tests/cases/01_eq.modal | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modal/tests/cases/01_eq.modal b/modal/tests/cases/01_eq.modal new file mode 100644 index 0000000..bdc5c09 --- /dev/null +++ b/modal/tests/cases/01_eq.modal @@ -0,0 +1,5 @@ +<> (eq ?x ?x) (#t) +<> (eq ?x ?y) (#f) + +.. (eq fox bat) +.. (eq bat bat) |