about summary refs log tree commit diff stats
path: root/modal/tests/cases/05_numbers_sub.modal
diff options
context:
space:
mode:
Diffstat (limited to 'modal/tests/cases/05_numbers_sub.modal')
-rw-r--r--modal/tests/cases/05_numbers_sub.modal4
1 files changed, 4 insertions, 0 deletions
diff --git a/modal/tests/cases/05_numbers_sub.modal b/modal/tests/cases/05_numbers_sub.modal
new file mode 100644
index 0000000..de8db98
--- /dev/null
+++ b/modal/tests/cases/05_numbers_sub.modal
@@ -0,0 +1,4 @@
+<> ((?a) - (?b)) (?a - ?b)
+<> (?a - 0) (difference ?a)
+
+(5 - 2)