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